Amtoft, Torben
-
DAIMI Report Series No. 448 (1993): PB-448 Strictness Types: An Inference Algorithm and an Application - Articles
Strictness Types: An Inference Algorithm and an Application
Abstract PDF -
DAIMI Report Series No. 453 (1993): PB-453 Sharing of Computations - Articles
Sharing of Computations
Abstract PDF -
DAIMI Report Series No. 497 (1995): PB-497 Type and Behaviour Reconstruction for Higher-Order Concurrent Programs - Articles
Type and Behaviour Reconstruction for Higher-Order Concurrent Programs
Abstract PDF -
DAIMI Report Series No. 527 (1997): PB-527 Behaviour Analysis for Validating Communication Patterns - Articles
Behaviour Analysis for Validating Communication Patterns
Abstract PDF -
DAIMI Report Series No. 529 (1997): PB-529 Polymorphic Subtyping for Side Effects - Articles
Polymorphic Subtyping for Side Effects
Abstract PDF -
DAIMI Report Series No. 410 (1992): PB-410 Unfold/fold Transformations Preserving Termination Properties - Articles
Unfold/fold Transformations Preserving Termination Properties
Abstract PDF -
DAIMI Report Series No. 502 (1996): PB-502 Polymorphic Subtyping for Effect Analysis: The Semantics - Articles
Polymorphic Subtyping for Effect Analysis: The Semantics
Abstract PDF -
DAIMI Report Series No. 528 (1997): PB-528 Behaviour Analysis and Safety Conditions: a Case Study in CML - Articles
Behaviour Analysis and Safety Conditions: a Case Study in CML
Abstract PDF -
DAIMI Report Series No. 501 (1996): PB-501 Polymorphic Subtyping for Effect Analysis: The Integration - Articles
Polymorphic Subtyping for Effect Analysis: The Integration
Abstract PDF -
DAIMI Report Series No. 503 (1996): PB-503 Polymorphic Subtyping for Effect Analysis: the Algroithm - Articles
Polymorphic Subtyping for Effect Analysis: the Algroithm
Abstract PDF