| 2001 | A Dependently Typed Assembly Language. Hongwei Xi, Robert Harper |
| 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 | A Simple Implementation Technique for Priority Search Queues. Ralf Hinze |
| 2001 | Automatic Generation of Staged Geometric Predicates. Aleksandar Nanevski, Guy E. Blelloch, Robert Harper |
| 2001 | Charting Patterns on Price History. Saswat Anand, Wei-Ngan Chin, Siau-Cheng Khoo |
| 2001 | Compositional Explanation of Types and Algorithmic Debugging of Type Errors. Olaf Chitil |
| 2001 | Contification Using Dominators. Matthew Fluet, Stephen Weeks |
| 2001 | Cost Recurrences for DML Programs. Bernd Grobauer |
| 2001 | Developing a Stage Lighting System from Scratch. Michael Sperber |
| 2001 | Down with Emacs Lisp: Dynamic Scope Analysis. Matthias Neubauer, Michael Sperber |
| 2001 | Events in Haskell, and How to Implement Them. George Russell |
| 2001 | Extensible Algebraic Datatypes with Defaults. Matthias Zenger, Martin Odersky |
| 2001 | Functional Array Fusion. Manuel M. T. Chakravarty, Gabriele Keller |
| 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 Unification via Two-Level Types and Parameterized Modules. Tim Sheard |
| 2001 | Generic Validation of Structural Content with Parametric Modules. Tyng-Ruey Chuang |
| 2001 | Macros as Multi-Stage Computations: Type-Safe, Generative, Binding Macros in MacroML. Steven E. Ganz, Amr Sabry, Walid Taha |
| 2001 | On Regions and Linear Types. David Walker, Kevin Watkins |
| 2001 | Optimizing Pattern Matching. Fabrice Le Fessant, Luc Maranget |
| 2001 | Possibilities and Limitations of Call-by-Need Space Improvement. Jörgen Gustavsson, David Sands |
| 2001 | Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming (ICFP '01), Firenze (Florence), Italy, September 3-5, 2001. Benjamin C. Pierce |
| 2001 | Real-Time FRP. Zhanyong Wan, Walid Taha, Paul Hudak |
| 2001 | Recursive Structures for Standard ML. Claudio V. Russo |
| 2001 | Type-Based Hot Swapping of Running Modules. Dominic Duggan |