Code Generation 2014 - ALF, the Standard Programming Language for UML
Class 22: Stateful Evaluation Rules
Compilation 2011 Static Type Checking Ian Zerny Michael I. Schwartzbach Aarhus University.
Compilation 2007 Static Type Checking Michael I. Schwartzbach BRICS, University of Aarhus.