Papers.md @master — view markup · raw · history · blame
Type Systems Papers
Should Your Specification Language Be Typed?
- authors: Leslie Lamport, Lawrence C. Paulson
- date: May 1999
- publication: ACM Transactions on Programming Languages and Systems
- online @ lamport.azurewebsites.net
- topics: Formal Specification, Type Systems
.
On Understanding Data Abstraction, Revisited
- authors: William R. Cook
- date: 2009
- publication: OOPSLA '09: Proceedings of the 24th ACM SIGPLAN conference on Object oriented programming systems languages and applications
- online @ cs.utexas.edu
.
In Search of Types
- authors: Stephen Kell
- date: 2014
- publication: Onward!
- online @ kent.ac.uk
.
Several types of types in programming languages
- authors: Simone Martini
- date: 2016
- online @ arxiv.org
.
Unfolding Abstract Datatypes
- authors: Jeremy Gibbons
- online @ www.cs.ox.ac.uk
- date: 2008
.
Initial Algebra Semantics is Enough!
- authors: Patricia Johann, Neil Ghani
- date: 2007
- online @ libres.uncg.edu
- topics: Type Systems, Functional Programming
.
Type and Effect Systems
- authors: Flemming Nielson, Hanne Riis Nielson
- date: 1999
- online @ web.cs.ucla.edu
.
A Theory of Type Polymorphism in Programming
- authors: Robin Milner
- date: 1978
- online @ homepages.inf.ed.ac.uk
.
Abstract Types have Existential Type
- authors: John Mitchell, Gordon Plotkin
- date: 1988
- online @ homepages.inf.ed.ac.uk
- topics: Type Systems, Type Theory
.