Flemming Nielson
1955 · 11 obras en el catálogo
Obras

Semantics with applications

Type and effect systems

Formal Methods

ML with Concurrency

Principles of Security and Trust

Trustworthy Global Computing

Two-level functional languages
Theoretical aspects of semantics-based language implementation

ML With Concurrency

Principles of program analysis
