Type Systems

(Up) | See also: PLDI, Type Theory

Web resources

type safety - What is the difference between a strongly typed language and a statically typed language? - Stack Overflow

What is a strictly typed language? - Stack Overflow

Coeffects: The next big programming challenge - Tomas Petricek

Type Constraints · The Programming Languages Laboratory

The algebra (and calculus!) of algebraic data types

What is a type and effect system? - Stack Overflow

Papers

Should Your Specification Language Be Typed? (online @ lamport.azurewebsites.net)

On Understanding Data Abstraction, Revisited (online @ cs.utexas.edu)

In Search of Types (online @ kent.ac.uk)

Several types of types in programming languages (online @ arxiv.org)

Unfolding Abstract Datatypes (online @ www.cs.ox.ac.uk)

Initial Algebra Semantics is Enough! (online @ libres.uncg.edu)

Type and Effect Systems (online @ web.cs.ucla.edu)

A Theory of Type Polymorphism in Programming (online @ homepages.inf.ed.ac.uk)

Abstract Types have Existential Type (online @ homepages.inf.ed.ac.uk)

Books

Counterexamples in Type Systems (online @ counterexamples.org)