Operational Semantics, including compiler and abstract machine
Author: Iliano Cervesato
Modified: Jeff Polakow, Frank Pfenning