Books written by or edited by Hanne Riis Nielson
Books written by Hanne Riis Nielson
|
Flemming Nielson, Hanne Riis Nielson
Two-Level Functional Languages
Cambridge University Press, 1992
ISBN 0-521-40384-7
|
|
Torben Amtoft, Flemming Nielson, Hanne Riis Nielson
Type and Effect Systems
Imperial College Press, 1999
ISBN 1-86094-154-0
|
Books edited by Hanne Riis Nielson
- European Symposium on Programming - ESOP 1996 proceedings, LNCS 1058, Springer
- Principles of Programming Languages - POPL 2001 proceedings, ACM press
- Transactions on Computational Systems Biology,
LNCS 4230, Springer
- Static Analysis - SAS 2007 proceedings,
LNCS 4634, Springer
Last modified: Wed Oct 29 13:58:17 CET 2008