Hanne Riis Nielson
4 published titles
Semantics with applications : a formal application
1 edition
- ISBN: 0471929808
- Wiley
- 1992
- Details
Two-level functional languages
(Contributor)
1 edition
- ISBN: 0521403847
- Cambridge University Press
- 1992
- Details
Principles of program analysis
(Contributor)
1 edition
- ISBN: 3540654100
- Springer
- 1999
- Details
Type and effect systems : behaviours for concurrency
(Contributor)
1 edition
- ISBN: 1860941540
- Imperial College Press
- 1999
- Details
