Learning K

We start by introducing the basic features of K by means of a series of very simple languages. The objective here is neither to learn those languages nor to study their underlying paradigm, but simply to learn K.

  • LAMBDA: Lambda calculus defined.
  • IMP: A simple imperative language.
  • LAMBDA++: LAMBDA extended with control flow.
  • IMP++: IMP extended with threads and IO.
  • TYPES: LAMBDA type system.