Abstract is missing.
- Types for atomicityCormac Flanagan, Shaz Qadeer. 1-12 [doi]
- Type-safe multithreading in cycloneDan Grossman. 13-25 [doi]
- Scrap your boilerplate: a practical design pattern for generic programmingRalf Lämmel, Simon L. Peyton Jones. 26-37 [doi]
- A calculus for probabilistic languagesSungwoo Park. 38-49 [doi]
- Time regions and effects for resource usage analysisNaoki Kobayashi. 50-61 [doi]
- Deciding validity in a spatial logic for treesCristiano Calcagno, Luca Cardelli, Andrew D. Gordon. 62-73 [doi]
- The logical approach to stack typingAmal J. Ahmed, David Walker. 74-85 [doi]
- Inferring annotated types for inter-procedural register allocation with constructor flatteningTorben Amtoft, Robert Muller. 86-97 [doi]
- Typed compilation of recursive datatypesJoseph Vanderwaart, Derek Dreyer, Leaf Petersen, Karl Crary, Robert Harper, Perry Cheng. 98-108 [doi]
- A typed interface for garbage collectionJoseph Vanderwaart, Karl Crary. 109-122 [doi]
- Garbage collection safety for region-based memory managementMartin Elsman. 123-134 [doi]