Johannsen, Jacob
-
BRICS Report Series No. 6 (2008): RS-6 An Investigation of Abadi and Cardelli's Untyped Calculus of Objects - Articles
An Investigation of Abadi and Cardelli's Untyped Calculus of Objects
Abstract PDF -
BRICS Report Series No. 5 (2008): RS-5 Inter-Deriving Semantic Artifacts for Object-Oriented Programming - Articles
Inter-Deriving Semantic Artifacts for Object-Oriented Programming
Abstract PDF