| 2007 | A generic usage analysis with subeffect qualifiers. Jurriaan Hage, Stefan Holdermans, Arie Middelkoop |
| 2007 | A type directed translation of MLF to system F. Daan Leijen |
| 2007 | A type system for recursive modules. Derek Dreyer |
| 2007 | Adding delimited and composable control to a production programming environment. Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen |
| 2007 | Bidirectionalization transformation based on automatic derivation of view complement functions. Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi |
| 2007 | Call-pattern specialisation for haskell programs. Simon L. Peyton Jones |
| 2007 | Compiling with continuations, continued. Andrew Kennedy |
| 2007 | Declarative programming for artificial intelligence applications. John W. Lloyd |
| 2007 | Evaluating high-level distributed language constructs. Jan Henry Nyström, Philip W. Trinder, David J. King |
| 2007 | Experience report: a Haskell interpreter for cellML. Jonathan Cooper, Steve McKeever |
| 2007 | Experience report: building an eclipse-based IDE for Haskell. Leif Frenzel |
| 2007 | Experience report: functional programming in c-rules. Jeremy Wazny |
| 2007 | Experience report: scheme in commercial web application development. Noel Welsh, David Gurnell |
| 2007 | Experience report: the reactis validation tool. Steve Sims, Daniel C. DuVarney |
| 2007 | Experience report: using functional programming to manage a linux distribution. Clifford Beshers, David Fox, Jeremy Shaw |
| 2007 | Extensible pattern matching via a lightweight language extension. Don Syme, Gregory Neverov, James Margetson |
| 2007 | Faster laziness using dynamic pointer tagging. Simon Marlow, Alexey Rodriguez Yakushev, Simon L. Peyton Jones |
| 2007 | Feedback directed implicit parallelism. Tim Harris, Satnam Singh |
| 2007 | Functional pearl: the great escape or, how to jump the border without getting caught. David Herman |
| 2007 | Implicit phasing for R6RS libraries. Abdulaziz Ghuloum, R. Kent Dybvig |
| 2007 | Inductive reasoning about effectful data types. Andrzej Filinski, Kristian Støvring |
| 2007 | Lazy call-by-value evaluation. Bernd Braßel, Michael Hanus, Sebastian Fischer, Frank Huch, Germán Vidal |
| 2007 | McErlang: a model checker for a distributed functional programming language. Lars-Åke Fredlund, Hans Svensson |
| 2007 | On Barron and Strachey's cartesian product function. Olivier Danvy, J. Michael Spivey |
| 2007 | Ott: effective tool support for the working semanticist. Peter Sewell, Francesco Zappa Nardelli, Scott Owens, Gilles Peskine, Tom Ridge, Susmit Sarkar, Rok Strnisa |
| 2007 | Proceedings of the 12th ACM SIGPLAN International Conference on Functional Programming, ICFP 2007, Freiburg, Germany, October 1-3, 2007 Ralf Hinze, Norman Ramsey |
| 2007 | Program-ing finger trees in Coq. Matthieu Sozeau |
| 2007 | Relating complexity and precision in control flow analysis. David Van Horn, Harry G. Mairson |
| 2007 | Stream fusion: from lists to streams to nothing at all. Duncan Coutts, Roman Leshchinskiy, Don Stewart |
| 2007 | Subtyping and intersection types revisited. Frank Pfenning |
| 2007 | Tangible functional programming. Conal Elliott |
| 2007 | Termination analysis and call graph construction for higher-order functional programs. Damien Sereni |
| 2007 | Type-safe higher-order channels in ML-like languages. Sungwoo Park |
| 2007 | User-friendly functional programming for web mashups. Robert Ennals, David Gay |
| 2007 | iTasks: executable specifications of interactive work flow systems for the web. Rinus Plasmeijer, Peter Achten, Pieter W. M. Koopman |