lambda-calculus

Lectures on the lambda calculus and semantics

• lambda.ml -- The lambda calculus

  • lambdaprac.ml -- Buffer from class

• untyped-caml.ml -- Big step interpreter for the untyped lambda calculus, using substitution.

• cek.ml -- Lecture on the CEK machine (see other course notes on website)

• Parser example (not covered completely in class, but linked for illustration here):

  • cekamltop.ml -- Toplevel for CEKaml, put your P3 solution in cekaml.ml
  • parser.mly -- Parser
  • lexer.mll -- Lexer
  • Makefile -- Makefile