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.