| 2000 | Combining functional programming and hardware verification (abstract of invited talk). | Carl-Johan H. Seger |
| 2000 | Make it practical: a generic linear-time algorithm for solving maximum-weightsum problems. | Isao Sasano, Zhenjiang Hu, Masato Takeichi, Mizuhito Ogawa |
| 2000 | FranTk - a declarative GUI language for Haskell. | Meurig Sage |
| 2000 | The influence of browsers on evaluators or, continuations to program web servers. | Christian Queinnec |
| 2000 | Information flow inference for free. | Franois Pottier, Sylvain Conchon |
| 2000 | Breadth-first numbering: lessons from a small exercise in algorithm design. | Chris Okasaki |
| 2000 | Functional programming in C++. | Brian McNamara, Yannis Smaragdakis |
| 2000 | Composing contracts: an adventure in financial engineering, functional pearl. | Simon L. Peyton Jones, Jean-Marc Eber, Julian Seward |
| 2000 | Regular expression types for XML. | Haruo Hosoya, Jerome Vouillon, Benjamin C. Pierce |
| 2000 | Deriving backtracking monad transformers. | Ralf Hinze |
| 2000 | Advanced module systems: a guide for the perplexed (abstract of invited talk). | Robert Harper, Benjamin C. Pierce |
| 2000 | Recursive subtyping revealed: functional pearl. | Vladimir Gapeyev, Michael Y. Levin, Benjamin C. Pierce |
| 2000 | Cheap eagerness: speculative evaluation in a lazy functional language. | Karl-Filip Faxn |
| 2000 | Recursive monadic bindings. | Levent Erkk, John Launchbury |
| 2000 | Intersection types and computational effects. | Rowan Davies, Frank Pfenning |
| 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 | Typed compilation of inclusive subtyping. | Karl Crary |
| 2000 | QuickCheck: a lightweight tool for random testing of Haskell programs. | Koen Claessen, John Hughes |
| 2000 | Non-stop Haskell. | Andrew M. Cheadle, A. J. Field, Simon Marlow, Simon L. Peyton Jones, Ronald Lyndon While |
| 2000 | More types for nested data parallel programming. | Manuel M. T. Chakravarty, Gabriele Keller |
| 2000 | An operational semantics for parallel lazy evaluation. | Clement A. Baker-Finch, David J. King, Philip W. Trinder |
| 1999 | Principals in Programming Languages: A Syntactic Proof Technique. | Steve Zdancewic, Dan Grossman, J. Gregory Morrisett |
| 1999 | Haskell and XML: Generic Combinators or Type-Based Translation? | Malcolm Wallace, Colin Runciman |
| 1999 | Type Fixpoints: Iteration vs. Recursion. | Zdzislaw Splawski, Pawel Urzyczyn |