User:Marcoonroad/Books/advanced-type-systems

From logics to algorithms

 * Introduction
 * Type system
 * Type theory


 * Functional Programming
 * Functional programming
 * Purely functional programming
 * Closure (computer programming)
 * Currying
 * Graph reduction


 * Logics
 * Substructural logic
 * Linear logic
 * Affine logic
 * Temporal logic
 * Linear temporal logic
 * Computation tree logic
 * Calculus of constructions


 * Lambda Calculus
 * Lambda calculus
 * SKI combinator calculus
 * Let expression
 * Simply typed lambda calculus
 * Lambda cube
 * System F
 * Rewriting
 * Evaluation strategy
 * Curry–Howard correspondence


 * Category Theory
 * Category theory
 * Cartesian closed category


 * Type Systems
 * Hindley–Milner type system
 * Effect system
 * Typestate analysis
 * Information flow (information theory)
 * Uniqueness type
 * Substructural type system
 * Flow-sensitive typing
 * Refinement (computing)
 * Dependent type


 * Concurrency
 * Π-calculus
 * Calculus of communicating systems
 * Communicating sequential processes
 * Actor model and process calculi


 * Soundness
 * Type safety
 * Covariance and contravariance (computer science)
 * Liskov substitution principle