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

Types and multithreading

Cormac Flanagan, Shaz Qadeer:
Types for atomicity. 1-12
Dan Grossman:
Type-safe multithreading in cyclone. 13-25

Types and programming

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

Type-based analysis

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

Typed compilation

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

Types and garbage collection

Joseph Vanderwaart, Karl Crary:
A typed interface for garbage collection. 109-122
Martin Elsman:
Garbage collection safety for region-based memory management. 123-134

Last update Fri May 25 08:43:13 2012 CET by the DBLP Team —

Data released under the ODC-BY 1.0 license — See also our legal information page