Iversen, Jørgen
-
BRICS Report Series Nr. 35 (2004): RS-35 Type Checking Semantic Functions in ASDF - Artikler
Type Checking Semantic Functions in ASDF
Resumé PDF (English) -
BRICS Report Series Nr. 37 (2004): RS-37 Constructive Action Semantics for Core ML - Artikler
Constructive Action Semantics for Core ML
Resumé PDF (English) -
BRICS Report Series Nr. 36 (2004): RS-36 An Action Environment - Artikler
An Action Environment
Resumé PDF (English)