LBT.imm.dtu.dk IMM.dtu.dk DTU.dk LBT Internal Pages
DTU Informatics
Technical University of Denmark
Technical University of Denmark
Books written by or edited by Professor Flemming Nielson

Books written by or edited by Professor Flemming Nielson


Flemming Nielson, Hanne Riis Nielson, Chris Hankin

Principles of Program Analysis

Springer, 2005
ISBN 3-540-65410-0
Click for Supplementary Material


Hanne Riis Nielson, Flemming Nielson

Semantics with Applications: An Appertizer

Springer, 2007
ISBN 978-1-84628-691-9
Click for Supplementary Material


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


Flemming Nielson (ed.)

ML with Concurrency

Springer, 1997
ISBN 0-387-94875-9


Last modified: Wed Oct 29 13:58:17 CET 2008
Last updated by Flemming Nielson, 01/27/2009 17:37, using LBTcms
Top
Richard Petersens PladsDTU Informatics - Building 322, Room 008DK-2800 LyngbyDenmarkTel: +45 45 25 3735