Resource: Implementing Java as a CESK machine, in Java

New Article by Matt Might:

CESK machines can concisely and efficiently model the semantics of functional languages like the lambda calculus. It’s less appreciated that CESK machines can do the same for object-oriented and imperative languages too.

This post explores a CESK machine for a high-level, object-oriented bytecode inspired by the Dalvik virtual machine for Java.

Read on for an implementation of an object-oriented CESK machine.