| 2003 | Compiling regular patterns. | Michael Y. Levin |
| 2003 | Global abstraction-safe marshalling with hash types. | James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough |
| 2003 | Conservation of information: applications in functional, reversible, and quantum computing. | Thomas Knight Jr. |
| 2003 | A sound and complete axiomatization of delimited continuations. | Yukiyoshi Kameyama, Masahito Hasegawa |
| 2003 | A user-centred approach to functions in Excel. | Simon L. Peyton Jones, Alan F. Blackwell, Margaret M. Burnett |
| 2003 | Polish parsers, step by step. | R. John M. Hughes, S. Doaitse Swierstra |
| 2003 | A static type system for JVM access control. | Tomoyuki Higuchi, Atsushi Ohori |
| 2003 | Compiler implementation in a formal logical framework. | Jason Hickey, Aleksey Nogin, Adam Granicz |
| 2003 | Scripting the type inference process. | Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra |
| 2003 | Explicit substitutions and higher-order syntax. | Neil Ghani, Tarmo Uustalu |
| 2003 | Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. | Robert Ennals, Simon L. Peyton Jones |
| 2003 | Reasoning on an imperative object-based calculus in Higher Order Abstract Syntax. | Alberto Ciaffaglione, Luigi Liquori, Marino Miculan |
| 2003 | Meta-programming through typeful code representation. | Chiyan Chen, Hongwei Xi |
| 2003 | ML | Didier Le Botlan, Didier Rmy |
| 2003 | Dynamic rebinding for marshalling and update, with destruct-time? | Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Paul Stoyle, Keith Wansbrough |
| 2003 | CDuce: an XML-centric general-purpose language. | Vronique Benzaken, Giuseppe Castagna, Alain Frisch |
| 2003 | Disjunctive normal forms and local exceptions. | Emmanuel Beffara, Vincent Danos |
| 2003 | Reasoning about recursive procedures with parameters. | Ralph-Johan Back, Viorel Preoteasa |
| 2003 | A definitional approach to primitivexs recursion over higher order abstract syntax. | S. J. Ambler, Roy L. Crole, Alberto Momigliano |
| 2002 | Concatenate, reverse and map vanish for free. | Janis Voigtlnder |
| 2002 | Shortcut fusion for accumulating parameters & zip-like functions. | Josef Svenningsson |
| 2002 | A theory of overloading. | Peter J. Stuckey, Martin Sulzmann |
| 2002 | Compiling scheme to JVM bytecode: : a performance study. | Bernard P. Serpette, Manuel Serrano |
| 2002 | Tagless staged interpreters for typed languages. | Emir Pasalic, Walid Taha, Tim Sheard |
| 2002 | An interoperable calculus for external object access. | Atsushi Ohori, Kiyoshi Yamatodani |