Hanne Riis Nielson
1954 · 9 obras en el catálogo
También catalogado como: Hanne R. Nielson
Obras

Semantics with applications

Type and effect systems

Formal Methods

Coordination Models and Languages

Two-level functional languages
Static Analysis

Principles of program analysis

Programming Languages and Systems - Esop '96: 6th European Symposium on Programming Linkoping, Sweden, April 22-24, 1996
