| 2003 | A sound and complete axiomatization of delimited continuations. Yukiyoshi Kameyama, Masahito Hasegawa |
| 2003 | A static type system for JVM access control. Tomoyuki Higuchi, Atsushi Ohori |
| 2003 | A theory of aspects. David Walker, Steve Zdancewic, Jay Ligatti |
| 2003 | A user-centred approach to functions in Excel. Simon L. Peyton Jones, Alan F. Blackwell, Margaret M. Burnett |
| 2003 | An effective theory of type refinements. Yitzhak Mandelbaum, David Walker, Robert Harper |
| 2003 | An extension of HM(X) with bounded existential and universal data-types. Vincent Simonet |
| 2003 | Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. Geoffrey Washburn, Stephanie Weirich |
| 2003 | CDuce: an XML-centric general-purpose language. Véronique Benzaken, Giuseppe Castagna, Alain Frisch |
| 2003 | Call-by-value is dual to call-by-name. Philip Wadler |
| 2003 | Compiling regular patterns. Michael Y. Levin |
| 2003 | Conservation of information: applications in functional, reversible, and quantum computing. Thomas Knight Jr. |
| 2003 | Dependency-style generic Haskell. Andres Löh, Dave Clarke, Johan Jeuring |
| 2003 | Discriminative sum types locate the source of type errors. Matthias Neubauer, Peter Thiemann |
| 2003 | Disjunctive normal forms and local exceptions. Emmanuel Beffara, Vincent Danos |
| 2003 | Dynamic rebinding for marshalling and update, with destruct-time? Gavin M. Bierman, Michael W. Hicks, Peter Sewell, Gareth Paul Stoyle, Keith Wansbrough |
| 2003 | FreshML: programming with binders made simple. Mark R. Shinwell, Andrew M. Pitts, Murdoch Gabbay |
| 2003 | From Hilbert space to Dilbert space: context semantics as a language for games and flow analysis. Harry G. Mairson |
| 2003 | Functional automatic differentiation with dirac impulses. Henrik Nilsson |
| 2003 | Global abstraction-safe marshalling with hash types. James J. Leifer, Gilles Peskine, Peter Sewell, Keith Wansbrough |
| 2003 | Iterative-free program analysis. Mizuhito Ogawa, Zhenjiang Hu, Isao Sasano |
| 2003 | ML Didier Le Botlan, Didier Rémy |
| 2003 | Meta-programming through typeful code representation. Chiyan Chen, Hongwei Xi |
| 2003 | Optimistic evaluation: an adaptive evaluation strategy for non-strict programs. Robert Ennals, Simon L. Peyton Jones |
| 2003 | Polish parsers, step by step. R. John M. Hughes, S. Doaitse Swierstra |
| 2003 | Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, ICFP 2003, Uppsala, Sweden, August 25-29, 2003 Colin Runciman, Olin Shivers |
| 2003 | Scripting the type inference process. Bastiaan Heeren, Jurriaan Hage, S. Doaitse Swierstra |
| 2003 | Software is discrete mathematics. Rex L. Page |
| 2003 | Understanding aspects: extended abstract. Mitchell Wand |