Flemming Nielson
7 published titles
Semantics with applications : a formal application
(Contributor)
1 edition
- ISBN: 0471929808
- Wiley
- 1992
- Details
Two-level functional languages
2 editions
- ISBN: 0521403847
- Cambridge University Press
- 1992
- Details
- ISBN: 9780521403849
- Cambridge University
- 2005
- Details
ML with concurrency : design, analysis, implementation, and application
(Contributor)
1 edition
- ISBN: 0387948759
- Springer
- 1997
- Details
Principles of program analysis
1 edition
- ISBN: 3540654100
- Springer
- 1999
- Details
Type and effect systems : behaviours for concurrency
(Contributor)
1 edition
- ISBN: 1860941540
- Imperial College Press
- 1999
- Details
Semantics with applications : an appetizer
(Contributor)
1 edition
- ISBN: 9781846286926
- Springer
- 2007
- Details
Semantics, logics, and calculi : essays dedicated to Hanne Riis Nielson and Flemming Nielson on the occasion of their 60th birthdays
(Contributor)
1 edition
- ISBN: 9783319278094
- Springer
- 2016
- Details
