Type Systems
(Up) | See also: PLDI, Type Theory
Web resources
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 ★
(in PLDI) language design - Why F#, Rust and Others Use Option Type Instead Of Nullable types like C# 8 Or TypeScript? - Software Engineering Stack Exchange ★
(in Python) Specification for the Python type system — typing documentation ★
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) 🏛️
(in Haskell) Faking it (online @ www.cambridge.org) ★ 💭
Books
Counterexamples in Type Systems (online @ counterexamples.org) ★★