Abstract is missing.
- When is a Functional Program Not a Functional Program?John Longley. 1-7 [doi]
- Monadic Encapsulation in MLMiley Semmelroth, Amr Sabry. 8-17 [doi]
- Trampolined StyleSteven E. Ganz, Daniel P. Friedman, Mitchell Wand. 18-27 [doi]
- From Fast Exponentiation to Square Matrices: An Adventure in TypesChris Okasaki. 28-35 [doi]
- Tracing Piece by Piece: Affordable Debugging for Lazy Functional LanguagesHenrik Nilsson. 36-47 [doi]
- Atomic Heap Transactions and Fine-grain InterruptsOlin Shivers, James W. Clark, Roland McGrath. 48-59 [doi]
- On Embedding a Microarchitectural Design Language within HaskellJohn Launchbury, Jeffrey R. Lewis, Byron Cook. 60-69 [doi]
- Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML ProgrammingJohn Hughes, Lars Pareto. 70-81 [doi]
- A Simple Proof Technique for Certain Parametricity ResultsKarl Crary. 82-89 [doi]
- Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract)A. J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells. 90-101 [doi]
- Calling Hell From Heaven and Heaven From HellSigbjorn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones. 114-125 [doi]
- Interlanguage Working Without Tears: Blending SML with JavaNick Benton, Andrew Kennedy. 126-137 [doi]
- Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine)Matthew Flatt, Robby Findler, Shriram Krishnamurthi, Matthias Felleisen. 138-147 [doi]
- Haskell and XML: Generic Combinators or Type-Based Translation?Malcolm Wallace, Colin Runciman. 148-159 [doi]
- Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of MLAtsushi Ohori, Nobuaki Yoshida. 160-171 [doi]
- Representing Java Classes in a Typed Intermediate LanguageChristopher League, Zhong Shao, Valery Trifonov. 183-196 [doi]
- Principals in Programming Languages: A Syntactic Proof TechniqueSteve Zdancewic, Dan Grossman, J. Gregory Morrisett. 197-207 [doi]
- Static Interpretation of ModulesMartin Elsman. 208-219 [doi]
- Transparent Modules with Fully Syntactic SignaturesZhong Shao. 220-232 [doi]
- Flexible Type AnalysisKarl Crary, Stephanie Weirich. 233-248 [doi]
- Type Inference Builds a Short Cut to DeforestationOlaf Chitil. 249-260 [doi]
- Verification of Erlang Programs using Abstract Interpretation and Model MheckingFrank Huch. 261-272 [doi]
- Specialization of Inductively Sequential Functional Logic ProgramsMaría Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal. 273-283 [doi]