| 2000 | Advanced module systems: a guide for the perplexed (abstract of invited talk). Robert Harper, Benjamin C. Pierce |
| 2000 | An operational semantics for parallel lazy evaluation. Clement A. Baker-Finch, David J. King, Philip W. Trinder |
| 2000 | Breadth-first numbering: lessons from a small exercise in algorithm design. Chris Okasaki |
| 2000 | Cheap eagerness: speculative evaluation in a lazy functional language. Karl-Filip Faxén |
| 2000 | Combining functional programming and hardware verification (abstract of invited talk). Carl-Johan H. Seger |
| 2000 | Composing contracts: an adventure in financial engineering, functional pearl. Simon L. Peyton Jones, Jean-Marc Eber, Julian Seward |
| 2000 | Deriving backtracking monad transformers. Ralf Hinze |
| 2000 | FranTk - a declarative GUI language for Haskell. Meurig Sage |
| 2000 | Fully reflexive intensional type analysis. Valery Trifonov, Bratin Saha, Zhong Shao |
| 2000 | Functional programming in C++. Brian McNamara, Yannis Smaragdakis |
| 2000 | Information flow inference for free. François Pottier, Sylvain Conchon |
| 2000 | Intersection types and computational effects. Rowan Davies, Frank Pfenning |
| 2000 | Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa |
| 2000 | More types for nested data parallel programming. Manuel M. T. Chakravarty, Gabriele Keller |
| 2000 | Non-stop Haskell. Andrew M. Cheadle, A. J. Field, Simon Marlow, Simon L. Peyton Jones, Ronald Lyndon While |
| 2000 | Proceedings of the Fifth ACM SIGPLAN International Conference on Functional Programming (ICFP '00), Montreal, Canada, September 18-21, 2000. Martin Odersky, Philip Wadler |
| 2000 | QuickCheck: a lightweight tool for random testing of Haskell programs. Koen Claessen, John Hughes |
| 2000 | Recursive monadic bindings. Levent Erkök, John Launchbury |
| 2000 | Recursive subtyping revealed: functional pearl. Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce |
| 2000 | Regular expression types for XML. Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce |
| 2000 | Static enforcement of security with types. Christian Skalka, Scott F. Smith |
| 2000 | Syntactic accidents in program analysis: on the impact of the CPS transformation. Daniel Damian, Olivier Danvy |
| 2000 | The duality of computation. Pierre-Louis Curien, Hugo Herbelin |
| 2000 | The functional guts of the Kleisli query system. Limsoon Wong |
| 2000 | The influence of browsers on evaluators or, continuations to program web servers. Christian Queinnec |
| 2000 | Type-safe cast: functional pearl. Stephanie Weirich |
| 2000 | Typed compilation of inclusive subtyping. Karl Crary |
| 2000 | Understanding memory allocation of scheme programs. Manuel Serrano, Hans-Juergen Boehm |