Flemming Nielson

Born: 1955

No bio available. Add one in Open Library.

Born: 1955

Books by Flemming Nielson (50 max)

+ shelf+ list

Principles of program analysis

1999

Flemming Nielson, Hanne Riis Nielson, Chris Hankin

+ shelf+ list

Two-Level Functional Languages (Cambridge Tracts in Theoretical Computer Science)

2005

Flemming Nielson, Hanne Riis Nielson

+ shelf+ list

ML with Concurrency Design, Analysis, Implementation, and Application

2011

Flemming Nielson

+ shelf+ list

Principles of Security and Trust 8th International Conference, POST 2019, Held as Part of the European Joint Conferences on Theory and Practice of ...

2019

Flemming Nielson, David Sands

+ shelf+ list

ML With Concurrency: Design, Analysis, Implementation, and Application (Monographs in Computer Science)

1996

Flemming Nielson

+ shelf+ list

Type and Effect Systems: Behaviours for Concurrency

1999

Torben Amtoft, Flemming Nielson, Hanne Riis Nielson

+ shelf+ list

Semantics with Applications: An Appetizer (Undergraduate Topics in Computer Science)

2007

Hanne Riis Nielson, Flemming Nielson

+ shelf+ list

Trustworthy Global Computing 4th International Symposium, TGC 2008, Barcelona, Spain, November 3-4, 2008, Revised Selected Papers

2009

Christos Kaklamanis, Flemming Nielson

+ shelf+ list

Theoretical aspects of semantics-based language implementation: Teoretiske aspekter af semantik-baseret sprog-implementation

1990

Flemming Nielson

+ shelf+ list

Two-level functional languages

1992

Flemming Nielson

+ shelf+ list

Formal Methods An Appetizer

2019

Flemming Nielson, Hanne Riis Nielson