Author

Hanne Riis Nielson

born 1954 9 known books newest first

No author bio imported yet.

Books

OpenLibrary works by this author.

9 books
Coordination Models and Languages

Coordination Models and Languages

Year unknown Hanne Riis Nielson and Emilio Tuosto
Formal Methods

Formal Methods

Year unknown Flemming Nielson and Hanne Riis Nielson
Principles of program analysis

Principles of program analysis

Year unknown Flemming Nielson, Hanne Riis Nielson, and Chris Hankin
Programming Languages and Systems - Esop '96: 6th European Symposium on Programming Linkoping, Sweden, April 22-24, 1996

Programming Languages and Systems - Esop '96: 6th European Symposium on Programming Linkoping, Sweden, April 22-24, 1996

Year unknown
Semantics with applications

Semantics with applications

Year unknown Hanne Riis Nielson and Flemming Nielson
Semantics with applications

Semantics with applications

Year unknown
Static Analysis

Static Analysis

Year unknown Hanne Riis Nielson and Gilberto Filé
Two-level functional languages

Two-level functional languages

Year unknown Flemming Nielson and Hanne Riis Nielson
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.