Some experiments with interpreters, abstract machines.
- Cek.fs - CEK machine - Control, Environment, Continuation. Control is currently executed expression.
- Cesk.fs - CESK machine - where S stands for Store, that is heap. This is imperative language. Control is represented by current statement.
- Cps.fs - CPS language - continuation passing style.
- KCfa.fs - prototype implementation of simple k-CFA analysis for CPS language.