👤

Hanne Riis Nielson

b. 1954 ยท 4 books

Books by Hanne Riis Nielson

Principles of program analysis
Principles of program analysis
2015
Type and effect systems
Type and effect systems
1999
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
1996
Semantics with applications
Semantics with applications
1992