Author

Flemming Nielson

born 1955 11 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

11 books
Formal Methods

Formal Methods

Year unknown Flemming Nielson and Hanne Riis Nielson
ML with Concurrency

ML with Concurrency

Year unknown
ML With Concurrency

ML With Concurrency

Year unknown
Principles of program analysis

Principles of program analysis

Year unknown Flemming Nielson, Hanne Riis Nielson, and Chris Hankin
Principles of Security and Trust

Principles of Security and Trust

Year unknown Flemming Nielson and David Sands
Semantics with applications

Semantics with applications

Year unknown Hanne Riis Nielson and Flemming Nielson
Theoretical aspects of semantics-...

Theoretical aspects of semantics-based language implementation

Year unknown
Trustworthy Global Computing

Trustworthy Global Computing

Year unknown Christos Kaklamanis and Flemming Nielson
Two-level functional languages

Two-level functional languages

Year unknown Flemming Nielson and Hanne Riis Nielson
Two-level functional languages

Two-level functional languages

Year unknown
Type and effect systems

Type and effect systems

Year unknown Torben Amtoft, Flemming Nielson, and Hanne Riis Nielson

Fetched from OpenLibrary. Some translations may appear as separate works.