programming language theory

constructs

• types
• continuations
• effects
• modules
• monads

formalisms

• syntax
• semantics
• formal verification
• paradigms

computation

• propositions as types
• the lambda calculus
• turing machines
• interaction nets
• combinators