TLDI 2003: New Orleans, Louisiana, USA

Zhong Shao, Peter Lee (Eds.): Proceedings of TLDI'03: 2003 ACM SIGPLAN International Workshop on Types in Languages Design and Implementation, New Orleans, Louisiana, USA, January 18, 2003. ACM 2003, ISBN 1-58113-649-8 BibTeX

Types and multithreading

Cormac Flanagan, Shaz Qadeer:
Types for atomicity. 1-12
Electronic Edition (ACM DL) BibTeX
Dan Grossman:
Type-safe multithreading in cyclone. 13-25
Electronic Edition (ACM DL) BibTeX

Types and programming

Ralf Lämmel, Simon L. Peyton Jones:
Scrap your boilerplate: a practical design pattern for generic programming. 26-37
Electronic Edition (ACM DL) BibTeX
Sungwoo Park:
A calculus for probabilistic languages. 38-49
Electronic Edition (ACM DL) BibTeX

Type-based analysis

Naoki Kobayashi:
Time regions and effects for resource usage analysis. 50-61
Electronic Edition (ACM DL) BibTeX
Cristiano Calcagno, Luca Cardelli, Andrew D. Gordon:
Deciding validity in a spatial logic for trees. 62-73
Electronic Edition (ACM DL) BibTeX

Typed compilation

Amal J. Ahmed, David Walker:
The logical approach to stack typing. 74-85
Electronic Edition (ACM DL) BibTeX
Torben Amtoft, Robert Muller:
Inferring annotated types for inter-procedural register allocation with constructor flattening. 86-97
Electronic Edition (ACM DL) BibTeX
Joseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng:
Typed compilation of recursive datatypes. 98-108
Electronic Edition (ACM DL) BibTeX

Types and garbage collection

Joseph Vanderwaart, Karl Crary:
A typed interface for garbage collection. 109-122
Electronic Edition (ACM DL) BibTeX
Martin Elsman:
Garbage collection safety for region-based memory management. 123-134
Electronic Edition (ACM DL) BibTeX