Amtoft, Torben
-
DAIMI Report Series Nr. 410 (1992): PB-410 Unfold/fold Transformations Preserving Termination Properties - Articles
Unfold/fold Transformations Preserving Termination Properties
Resumé PDF (English) -
DAIMI Report Series Nr. 448 (1993): PB-448 Strictness Types: An Inference Algorithm and an Application - Articles
Strictness Types: An Inference Algorithm and an Application
Resumé PDF (English) -
DAIMI Report Series Nr. 453 (1993): PB-453 Sharing of Computations - Articles
Sharing of Computations
Resumé PDF (English) -
DAIMI Report Series Nr. 527 (1997): PB-527 Behaviour Analysis for Validating Communication Patterns - Articles
Behaviour Analysis for Validating Communication Patterns
Resumé PDF (English) -
DAIMI Report Series Nr. 497 (1995): PB-497 Type and Behaviour Reconstruction for Higher-Order Concurrent Programs - Articles
Type and Behaviour Reconstruction for Higher-Order Concurrent Programs
Resumé PDF (English) -
DAIMI Report Series Nr. 502 (1996): PB-502 Polymorphic Subtyping for Effect Analysis: The Semantics - Articles
Polymorphic Subtyping for Effect Analysis: The Semantics
Resumé PDF (English) -
DAIMI Report Series Nr. 529 (1997): PB-529 Polymorphic Subtyping for Side Effects - Articles
Polymorphic Subtyping for Side Effects
Resumé PDF (English) -
DAIMI Report Series Nr. 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
Resumé PDF (English) -
DAIMI Report Series Nr. 503 (1996): PB-503 Polymorphic Subtyping for Effect Analysis: the Algroithm - Articles
Polymorphic Subtyping for Effect Analysis: the Algroithm
Resumé PDF (English) -
DAIMI Report Series Nr. 501 (1996): PB-501 Polymorphic Subtyping for Effect Analysis: The Integration - Articles
Polymorphic Subtyping for Effect Analysis: The Integration
Resumé PDF (English)