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