| 2007 | Type-safe higher-order channels in ML-like languages. | Sungwoo Park |
| 2007 | Evaluating high-level distributed language constructs. | Jan Henry Nystrm, Philip W. Trinder, David J. King |
| 2007 | Bidirectionalization transformation based on automatic derivation of view complement functions. | Kazutaka Matsuda, Zhenjiang Hu, Keisuke Nakano, Makoto Hamana, Masato Takeichi |
| 2007 | Faster laziness using dynamic pointer tagging. | Simon Marlow, Alexey Rodriguez Yakushev, Simon L. Peyton Jones |
| 2007 | Declarative programming for artificial intelligence applications. | John W. Lloyd |
| 2007 | A type directed translation of MLF to system F. | Daan Leijen |
| 2007 | Compiling with continuations, continued. | Andrew Kennedy |
| 2007 | Call-pattern specialisation for haskell programs. | Simon L. Peyton Jones |
| 2007 | Relating complexity and precision in control flow analysis. | David Van Horn, Harry G. Mairson |
| 2007 | Functional pearl: the great escape or, how to jump the border without getting caught. | David Herman |
| 2007 | Feedback directed implicit parallelism. | Tim Harris, Satnam Singh |
| 2007 | A generic usage analysis with subeffect qualifiers. | Jurriaan Hage, Stefan Holdermans, Arie Middelkoop |
| 2007 | Implicit phasing for R6RS libraries. | Abdulaziz Ghuloum, R. Kent Dybvig |
| 2007 | Experience report: building an eclipse-based IDE for Haskell. | Leif Frenzel |
| 2007 | McErlang: a model checker for a distributed functional programming language. | Lars-ke Fredlund, Hans Svensson |
| 2007 | Adding delimited and composable control to a production programming environment. | Matthew Flatt, Gang Yu, Robert Bruce Findler, Matthias Felleisen |
| 2007 | Inductive reasoning about effectful data types. | Andrzej Filinski, Kristian Stvring |
| 2007 | User-friendly functional programming for web mashups. | Robert Ennals, David Gay |
| 2007 | Tangible functional programming. | Conal Elliott |
| 2007 | A type system for recursive modules. | Derek Dreyer |
| 2007 | On Barron and Strachey's cartesian product function. | Olivier Danvy, J. Michael Spivey |
| 2007 | Stream fusion: from lists to streams to nothing at all. | Duncan Coutts, Roman Leshchinskiy, Don Stewart |
| 2007 | Experience report: a Haskell interpreter for cellML. | Jonathan Cooper, Steve McKeever |
| 2007 | Lazy call-by-value evaluation. | Bernd Brael, Michael Hanus, Sebastian Fischer, Frank Huch, Germn Vidal |
| 2007 | Experience report: using functional programming to manage a linux distribution. | Clifford Beshers, David Fox, Jeremy Shaw |