Flemming Nielson

Principles of program analysis

2015

ML with Concurrency

2011

Type and effect systems

1999

Two-level functional languages

1992

Theoretical aspects of semanti

Theoretical aspects of semantics-based language implementation

1990