Abstract is missing.
- The Essence of Functional ProgrammingPhilip Wadler. 1-14
- The Geometry of Optimal Lambda ReductionGeorges Gonthier, Martín Abadi, Jean-Jacques Lévy. 15-26
- Linear ContinuationsAndrzej Filinski. 27-38
- Garbage Collecting the WorldBernard Lang, Christian Queinnec, José M. Piquer. 39-50
- A Mark-and-Sweep Collector for C++Daniel R. Edelson. 51-58
- Optimally Profiling and Tracing ProgramsThomas Ball, James R. Larus. 59-70
- Bounded Fixed Point IterationHanne Riis Nielson, Flemming Nielson. 71-82
- Inductive Definitions, Semantics and Abstract InterpretationPatrick Cousot, Radhia Cousot. 83-94
- Modeling Prolog ControlRoberto Barbuti, Michael Codish, Roberto Giacobazzi, Giorgio Levi. 95-104
- Semantic Foundations of JadeMartin C. Rinard, Monica S. Lam. 105-118
- A Semantics for ML Concurrency PrimitivesDave Berry, Robin Milner, David N. Turner. 119-129
- Compile-Time Analysis of Parallel Programs that Share MemoryJyh-Herng Chow, Williams Ludwell Harrison III. 130-141
- A Comprehensive Study of the Complexity of Multiparty InteractionYuh-Jzer Joung, Scott A. Smolka. 142-153
- A Compilation Method for ML-Style Polymorphic Record CalculiAtsushi Ohori. 154-165
- Typing Record Concatenation for FreeDidier Rémy. 166-176
- Unboxed Objects and Polymorphic TypingXavier Leroy. 177-188
- Principal Signatures for Higher-Order Program ModulesMads Tofte. 189-199
- Type Isomorphisms in a Type-Assignment FrameworkRoberto Di Cosmo. 200-210
- Pattern-Based Tree AttributionCharles Farnum. 211-222
- Composable Attribute Grammars: Support for Modularity in Translator Design and ImplementationRodney Farrow, Thomas J. Marlowe, Daniel M. Yellin. 223-234
- Recognizing Substrings of LR(k) Languages in Linear TimeJoseph Bates, Alon Lavie. 235-245
- Generalized Dominators and Post-DominatorsRajiv Gupta. 246-257
- Generating a Compiler for a Lazy Language by Partial EvaluationJesper Jørgensen. 258-268
- Partial Evaluation of High-Level Imperative Programming Languages, with Applications in Hard Real-Time SystemsVivek Nirkhe, William Pugh. 269-280
- Parametricity as SubtypingQingMing Ma. 281-292
- Algorithmic Aspects of Type Inference with SubtypesPatrick Lincoln, John C. Mitchell. 293-304
- Bounded Quantification is UndecidableBenjamin C. Pierce. 305-315
- PER Models of Subtyping, Recursive Types and Higher-Order PolymorphismKim B. Bruce, John C. Mitchell. 316-327
- Observable Sequentiality and Full AbstractionRobert Cartwright, Matthias Felleisen. 328-342
- Model Checking and AbstractionEdmund M. Clarke, Orna Grumberg, David E. Long. 342-354
- Abstract Semantics for a Higher-Order Functional Language with Logic VariablesRadha Jagadeesan, Keshav Pingali. 355-366