LoginSignup
0

More than 5 years have passed since last update.

Programming Language Theory

Last updated at Posted at 2015-10-28

Reading Notes for the book "Practical Foundations for Programming Languages, 2nd Edition".

Releases

Each chapter is independent of one another. But it's recommended to read the first three chapters first.

  • Abstract Syntax
  • Inductive Definitions
  • Hypothetical and General Judgments
  • Statics and Dynamics
  • Type Safety
  • Gödel's T
  • Girard's System F
  • Plotkin's PCF
  • Church's Untyped $ \lambda $ calculus
  • Constructive Logic and Classical Logic
  • Subtyping
  • Continuations
  • Lazy Evaluation
  • Equational Reasoning

Register as a new user and use Qiita more conveniently

  1. You get articles that match your needs
  2. You can efficiently read back useful information
  3. You can use dark theme
What you can do with signing up
0