TLDI 2003: New Orleans, LA, USA

Proceedings of the ACM SIGPLAN Workshop on Types in Language Design and Implementation (TLDI 2003), New Orleans, LA, USA, January 18, 2003. SIGPLAN Notices 38(3)2003, ACM

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