| 2002 | A compiled implementation of strong reduction. Benjamin Grégoire, Xavier Leroy |
| 2002 | A demand-driven adaptive type analysis. Danny Dubé, Marc Feeley |
| 2002 | A theory of overloading. Peter J. Stuckey, Martin Sulzmann |
| 2002 | An experimental study of renewal-older-first garbage collection. Lars Thomas Hansen, William D. Clinger |
| 2002 | An expressive, scalable type theory for certified code. Karl Crary, Joseph Vanderwaart |
| 2002 | An interoperable calculus for external object access. Atsushi Ohori, Kiyoshi Yamatodani |
| 2002 | Bootstrapping one-sided flexible arrays. Ralf Hinze |
| 2002 | Compiling scheme to JVM bytecode: : a performance study. Bernard P. Serpette, Manuel Serrano |
| 2002 | Composable and compilable macros: : you want it when? Matthew Flatt |
| 2002 | Composing monads using coproducts. Christoph Lüth, Neil Ghani |
| 2002 | Concatenate, reverse and map vanish for free. Janis Voigtländer |
| 2002 | Contracts for higher-order functions. Robert Bruce Findler, Matthias Felleisen |
| 2002 | Exception analysis for non-strict languages. Kevin Glynn, Peter J. Stuckey, Martin Sulzmann, Harald Søndergaard |
| 2002 | Final shift for call/cc: : direct implementation of shift and reset. Martin Gasbichler, Michael Sperber |
| 2002 | Functional formal methods. J Strother Moore |
| 2002 | Interactive visual functional programming. Keith Hanna |
| 2002 | Meta-programming with names and necessity. Aleksandar Nanevski |
| 2002 | Modular typechecking for hierarchically extensible datatypes and functions. Todd D. Millstein, Colin Bleckner, Craig Chambers |
| 2002 | Monads for incremental computing. Magnus Carlsson |
| 2002 | Packrat parsing: : simple, powerful, lazy, linear time, functional pearl. Bryan Ford |
| 2002 | Proceedings of the Seventh ACM SIGPLAN International Conference on Functional Programming (ICFP '02), Pittsburgh, Pennsylvania, USA, October 4-6, 2002. Mitchell Wand, Simon L. Peyton Jones |
| 2002 | Program generation, termination, and binding-time analysis. Neil D. Jones, Arne J. Glenstrup |
| 2002 | Shortcut fusion for accumulating parameters & zip-like functions. Josef Svenningsson |
| 2002 | Tagless staged interpreters for typed languages. Emir Pasalic, Walid Taha, Tim Sheard |
| 2002 | There and back again. Olivier Danvy, Mayer Goldberg |
| 2002 | Towards more natural functional programming languages. Brad A. Myers |
| 2002 | Type classes with more higher-order polymorphism. Matthias Neubauer, Peter Thiemann |
| 2002 | Typing dynamic typing. Arthur I. Baars, S. Doaitse Swierstra |