1955
Principles of program analysis
1999
Formal Methods
2019
Two-level functional languages
2005
Semantics with applications
2007
ML With Concurrency
1996
Theoretical aspects of semantics-based language implementation
1990
Trustworthy Global Computing
2009
Type and effect systems
1999
Principles of Security and Trust
2019
