| 2004 | Slideshow: functional presentations. | Robert Bruce Findler, Matthew Flatt |
| 2004 | Types for path correctness of XML queries. | Dario Colazzo, Giorgio Ghelli, Paolo Manghi, Carlo Sartiani |
| 2004 | Searching for deadlocks while debugging concurrent haskell programs. | Jan Christiansen, Frank Huch |
| 2004 | Regular expression patterns. | Niklas Broberg, Andreas Farre, Josef Svenningsson |
| 2004 | A sound (and complete) model of contracts. | Matthias Blume, David A. McAllester |
| 2004 | A type-theoretic foundation of continuations and prompts. | Zena M. Ariola, Hugo Herbelin, Amr Sabry |
| 2003 | Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. | Geoffrey Washburn, Stephanie Weirich |
| 2003 | Understanding aspects: extended abstract. | Mitchell Wand |
| 2003 | A theory of aspects. | David Walker, Steve Zdancewic, Jay Ligatti |
| 2003 | Call-by-value is dual to call-by-name. | Philip Wadler |
| 2003 | An extension of HM(X) with bounded existential and universal data-types. | Vincent Simonet |
| 2003 | FreshML: programming with binders made simple. | Mark R. Shinwell, Andrew M. Pitts, Murdoch Gabbay |
| 2003 | Representing reductions of NP-complete problems in logical frameworks: a case study. | Carsten Schrmann, Jatin Shah |
| 2003 | A unified category theoretic approach to variable binding. | John Power |
| 2003 | Software is discrete mathematics. | Rex L. Page |
| 2003 | Iterative-free program analysis. | Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano |
| 2003 | Mechanising Hankin and Barendregt using the Gordon-Melham axioms. | Michael Norrish |
| 2003 | Functional automatic differentiation with dirac impulses. | Henrik Nilsson |
| 2003 | Discriminative sum types locate the source of type errors. | Matthias Neubauer, Peter Thiemann |
| 2003 | A modal foundation for meta-variables. | Aleksandar Nanevski, Brigitte Pientka, Frank Pfenning |
| 2003 | A formalization of an Ordered Logical Framework in Hybrid with applications to continuation machines. | Alberto Momigliano, Jeff Polakow |
| 2003 | Verifying CPS transformations in Isabelle/HOL. | Yasuhiko Minamide, Koji Okuma |
| 2003 | An effective theory of type refinements. | Yitzhak Mandelbaum, David Walker, Robert Harper |
| 2003 | From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis. | Harry G. Mairson |
| 2003 | Dependency-style generic Haskell. | Andres Lh, Dave Clarke, Johan Jeuring |