1955 –
Non abbiamo ancora una biografia di Flemming Nielson.
Pubblicato in Inglese
Per saperne di più: Open Library (si apre in una nuova scheda)
Two-level functional languages
2011
ML with Concurrency
2012
Semantics with applications
2007
Principles of Security and Trust
2019
Principles of program analysis
2015
Type and effect systems
1999
Trustworthy Global Computing
2009
Formal Methods
Otium
