| 1999 | Atomic Heap Transactions and Fine-grain Interrupts. | Olin Shivers, James W. Clark, Roland McGrath |
| 1999 | Transparent Modules with Fully Syntactic Signatures. | Zhong Shao |
| 1999 | Monadic Encapsulation in ML. | Miley Semmelroth, Amr Sabry |
| 1999 | From Fast Exponentiation to Square Matrices: An Adventure in Types. | Chris Okasaki |
| 1999 | Type Inference with Rank 1 Polymorphism for Type-Directed Compilation of ML. | Atsushi Ohori, Nobuaki Yoshida |
| 1999 | Tracing Piece by Piece: Affordable Debugging for Lazy Functional Languages. | Henrik Nilsson |
| 1999 | When is a Functional Program Not a Functional Program? | John Longley |
| 1999 | Representing Java Classes in a Typed Intermediate Language. | Christopher League, Zhong Shao, Valery Trifonov |
| 1999 | On Embedding a Microarchitectural Design Language within Haskell. | John Launchbury, Jeffrey R. Lewis, Byron Cook |
| 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 | Recursion and Dynamic Data-structures in Bounded Space: Towards Embedded ML Programming. | John Hughes, Lars Pareto |
| 1999 | Verification of Erlang Programs using Abstract Interpretation and Model Mhecking. | Frank Huch |
| 1999 | Type Dispatch for Named Hierarchical Types. | Neal Glew |
| 1999 | Trampolined Style. | Steven E. Ganz, Daniel P. Friedman, Mitchell Wand |
| 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 | Calling Hell From Heaven and Heaven From Hell. | Sigbjrn Finne, Daan Leijen, Erik Meijer, Simon L. Peyton Jones |
| 1999 | Static Interpretation of Modules. | Martin Elsman |
| 1999 | Flexible Type Analysis. | Karl Crary, Stephanie Weirich |
| 1999 | A Simple Proof Technique for Certain Parametricity Results. | Karl Crary |
| 1999 | Type Inference Builds a Short Cut to Deforestation. | Olaf Chitil |
| 1999 | Interlanguage Working Without Tears: Blending SML with Java. | Nick Benton, Andrew Kennedy |
| 1999 | Specialization of Inductively Sequential Functional Logic Programs. | Mara Alpuente, Michael Hanus, Salvador Lucas, Germn Vidal |
| 1998 | Automating Derivation of Incremental Programs. | Yuchen Zhang, Yanhong A. Liu |
| 1998 | Encoding Types in ML-Like Languages. | Zhe Yang |
| 1998 | The Marriage of Effects and Monads. | Philip Wadler |