Abstract is missing.
- IntroductionXavier Leroy. 1-8 [doi]
- Compiling Java to a Typed Lambda-Calculus: A Preliminary ReportAndrew K. Wright, Suresh Jagannathan, Cristian Ungureanu, Aaron Hertzmann. 9-27 [doi]
- Stack-Based Typed Assembly LanguageJ. Gregory Morrisett, Karl Crary, Neal Glew, David Walker. 28-52 [doi]
- How Generic is a Generic Black End? Using MLRISC as a Black End for the TIL CompilerAndrew Bernard, Robert Harper, Peter Lee. 53-77 [doi]
- A Toolkit for Constructing Type- and Constraint-Based Program AnalysesAlexander Aiken, Manuel Fähndrich, Jeffrey S. Foster, Zhendong Su. 78-96 [doi]
- Optimizing ML Using a Hierarchy of Monadic TypesAndrew P. Tolmach. 97-115 [doi]
- Type-Directed Continuation AllocationZhong Shao, Valery Trifonov. 116-135 [doi]
- Polymorphic Equality - No Tags RequiredMartin Elsman. 136-155 [doi]
- Optimal Type LiftingBratin Saha, Zhong Shao. 156-177 [doi]
- Formalizing Resourve Allocation in a CompilerPeter Thiemann. 178-193 [doi]
- An Approach to Improve Locality Using Sandwich TypesDaniela Genius, Martin Trapp, Wolf Zimmermann. 194-214 [doi]
- Garbage Collection via Dynamic Type Inference - A Fomal TreatmentHaruo Hosoya, Akinori Yonezawa. 215-239 [doi]
- Strong Normalization by Type-Directed Partial Evaluation and Run-Time Code GenerationVincent Balat, Olivier Danvy. 240-252 [doi]
- Determination of Dynamic Method Dispatches Using Run-Time Code GenerationNobuhisa Fujinami. 253-271 [doi]
- Type-Based Analysis of Concurrent ProgramsNaoki Kobayashi. 272 [doi]
- A Type-Based Semantics for User-Defined Marshalling in Polymorphic LanguagesDominic Duggan. 273-297 [doi]