Type Systems

(Up) | See also: PLDI, Type Theory

Works regarding the study and practice of assigning types (collections of constraints) to values as part of informatically processing those values, for example in a computer program.

Web resources

What is the difference between a strongly typed language and a statically typed language? ★★★

What is a strictly typed language? ★

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? ★

(in PLDI) Why F#, Rust and Others Use Option Type Instead Of Nullable types like C# 8 Or TypeScript? ★

(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) ★★