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 […]