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