TLDI 2003: New Orleans, Louisiana, USA

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