| 1999 | A Simple Proof Technique for Certain Parametricity Results. Karl Crary |
| 1999 | Atomic Heap Transactions and Fine-grain Interrupts. Olin Shivers, James W. Clark, Roland McGrath |
| 1999 | Calling Hell From Heaven and Heaven From Hell. Sigbjørn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones |
| 1999 | Flexible Type Analysis. Karl Crary, Stephanie Weirich |
| 1999 | From Fast Exponentiation to Square Matrices: An Adventure in Types. Chris Okasaki |
| 1999 | Haskell and XML: Generic Combinators or Type-Based Translation? Malcolm Wallace, Colin Runciman |
| 1999 | Interlanguage Working Without Tears: Blending SML with Java. Nick Benton, Andrew Kennedy |
| 1999 | Monadic Encapsulation in ML. Miley Semmelroth, Amr Sabry |
| 1999 | On Embedding a Microarchitectural Design Language within Haskell. John Launchbury, Jeffrey R. Lewis, Byron Cook |
| 1999 | Principals in Programming Languages: A Syntactic Proof Technique. Steve Zdancewic, Dan Grossman, J. Gregory Morrisett |
| 1999 | Proceedings of the fourth ACM SIGPLAN International Conference on Functional Programming (ICFP '99), Paris, France, September 27-29, 1999. Didier Rémy, Peter Lee |
| 1999 | Programming Languages as Operating Systems (or Revenge of the Son of the Lisp Machine). Matthew Flatt, Robert Bruce Findler, Shriram Krishnamurthi, Matthias Felleisen |
| 1999 | Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming. John Hughes, Lars Pareto |
| 1999 | Relating Typability and Expressiveness in Finite-Rank Intersection Type Systems (Extended Abstract). Assaf J. Kfoury, Harry G. Mairson, Franklyn A. Turbak, J. B. Wells |
| 1999 | Representing Java Classes in a Typed Intermediate Language. Christopher League, Zhong Shao, Valery Trifonov |
| 1999 | Specialization of Inductively Sequential Functional Logic Programs. María Alpuente, Michael Hanus, Salvador Lucas, Germán Vidal |
| 1999 | Static Interpretation of Modules. Martin Elsman |
| 1999 | Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages. Henrik Nilsson |
| 1999 | Trampolined Style. Steven E. Ganz, Daniel P. Friedman, Mitchell Wand |
| 1999 | Transparent Modules with Fully Syntactic Signatures. Zhong Shao |
| 1999 | Type Dispatch for Named Hierarchical Types. Neal Glew |
| 1999 | Type Fixpoints: Iteration vs. Recursion. Zdzislaw Splawski, Pawel Urzyczyn |
| 1999 | Type Inference Builds a Short Cut to Deforestation. Olaf Chitil |
| 1999 | Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML. Atsushi Ohori, Nobuaki Yoshida |
| 1999 | Verification of Erlang Programs using Abstract Interpretation and Model Mhecking. Frank Huch |
| 1999 | When is a Functional Program Not a Functional Program? John Longley |