User:GregorR~enwiki/Books/Programming Language Theory

A Wikipedia Collection

 * Introduction
 * Programming language
 * Programming language theory
 * Lambda calculus


 * Semantics
 * Semantics of programming languages
 * Denotational semantics
 * Operational semantics


 * Types
 * Type theory
 * Type system
 * Typed lambda calculus
 * Simply typed lambda calculus
 * Type safety
 * Polymorphism (computer science)
 * Subtype polymorphism
 * Type inference
 * Dependent type
 * Linear type system


 * Analysis
 * Program analysis
 * Static program analysis
 * Control flow analysis
 * Control flow graph
 * CFA
 * Abstract interpretation
 * Data-flow analysis
 * Effect system
 * Program slicing
 * Program transformation


 * Verification
 * Correctness (computer science)
 * Formal verification
 * Hoare logic