| 2001 | Developing a Stage Lighting System from Scratch. | Michael Sperber |
| 2001 | Generic Unification via Two-Level Types and Parameterized Modules. | Tim Sheard |
| 2001 | Recursive Structures for Standard ML. | Claudio V. Russo |
| 2001 | Events in Haskell, and How to Implement Them. | George Russell |
| 2001 | A Fresh Approach to Representing Syntax with Static Binders in Functional Programming. | Andrew M. Pitts |
| 2001 | A New Notation for Arrows. | Ross Paterson |
| 2001 | Down with Emacs Lisp: Dynamic Scope Analysis. | Matthias Neubauer, Michael Sperber |
| 2001 | Automatic Generation of Staged Geometric Predicates. | Aleksandar Nanevski, Guy E. Blelloch, Robert Harper |
| 2001 | A Simple Implementation Technique for Priority Search Queues. | Ralf Hinze |
| 2001 | Possibilities and Limitations of Call-by-Need Space Improvement. | Jrgen Gustavsson, David Sands |
| 2001 | Cost Recurrences for DML Programs. | Bernd Grobauer |
| 2001 | Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML. | Steven E. Ganz, Amr Sabry, Walid Taha |
| 2001 | Contification Using Dominators. | Matthew Fluet, Stephen Weeks |
| 2001 | Optimizing Pattern Matching. | Fabrice Le Fessant, Luc Maranget |
| 2001 | Type-Based Hot Swapping of Running Modules. | Dominic Duggan |
| 2001 | Functioning without Closure: Type-Safe Customized Function Representations for Standard ML. | Allyn Dimock, Ian Westmacott, Robert Muller, Franklyn A. Turbak, J. B. Wells |
| 2001 | Generic Validation of Structural Content with Parametric Modules. | Tyng-Ruey Chuang |
| 2001 | Compositional Explanation of Types and Algorithmic Debugging of Type Errors. | Olaf Chitil |
| 2001 | Functional Array Fusion. | Manuel M. T. Chakravarty, Gabriele Keller |
| 2001 | Charting Patterns on Price History. | Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo |
| 2000 | The functional guts of the Kleisli query system. | Limsoon Wong |
| 2000 | Type-safe cast: functional pearl. | Stephanie Weirich |
| 2000 | Fully reflexive intensional type analysis. | Valery Trifonov, Bratin Saha, Zhong Shao |
| 2000 | Static enforcement of security with types. | Christian Skalka, Scott F. Smith |
| 2000 | Understanding memory allocation of scheme programs. | Manuel Serrano, Hans-Juergen Boehm |