| 2010 | The impact of higher-order state and control effects on local relational reasoning. | Derek Dreyer, Georg Neis, Lars Birkedal |
| 2010 | Total parser combinators. | Nils Anders Danielsson |
| 2010 | Fortifying macros. | Ryan Culpepper, Matthias Felleisen |
| 2010 | Experience report: growing programming languages for beginning students. | Marcus Crestani, Michael Sperber |
| 2010 | Higher-order representation of substructural logics. | Karl Crary |
| 2010 | Foundational Program Verification in Coq with Automated Proofs. | Adam Chlipala |
| 2010 | Program verification through characteristic formulae. | Arthur Charguraud |
| 2010 | The gentle art of levitation. | James Chapman, Pierre-variste Dagand, Conor McBride, Peter Morris |
| 2010 | Algorithms for traversal-based generic programming. | Bryan Chadwick, Karl J. Lieberherr |
| 2010 | ReCaml: execution state as the cornerstone of reconfigurations. | Jrmy Buisson, Fabien Dagnat |
| 2010 | Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation. | Edwin C. Brady, Kevin Hammond |
| 2010 | Functional parallel algorithms. | Guy E. Blelloch |
| 2010 | Semantic subtyping with an SMT solver. | Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy |
| 2010 | Parametricity and dependent types. | Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson |
| 2010 | Lazy tree splitting. | Lars Bergstrom, Mike Rainey, John H. Reppy, Adam Shaw, Matthew Fluet |
| 2010 | Matching lenses: alignment and view update. | Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, Benjamin C. Pierce |
| 2010 | Arrows Are Strong Monads. | Kazuyuki Asada |
| 2010 | Specifying and verifying sparse matrix codes. | Gilad Arnold, Johannes Hlzl, Ali Sinan Kksal, Rastislav Bodk, Mooly Sagiv |
| 2010 | Scrap your zippers: a generic zipper for heterogeneous types. | Michael D. Adams |
| 2009 | Partial memoization of concurrency and communication. | Lukasz Ziarek, K. C. Sivaramakrishnan, Suresh Jagannathan |
| 2009 | Generic programming with fixed points for mutually recursive datatypes. | Alexey Rodriguez Yakushev, Stefan Holdermans, Andres Lh, Johan Jeuring |
| 2009 | What does aspect-oriented programming mean for functional programmers? | Meng Wang, Bruno C. d. S. Oliveira |
| 2009 | Free theorems involving type constructor classes: functional pearl. | Janis Voigtlnder |
| 2009 | Attribute grammars fly first-class: how to do aspect oriented programming in Haskell. | Marcos Viera, S. Doaitse Swierstra, Wouter Swierstra |
| 2009 | Polytypic properties and proofs in Coq. | Wendy Verbruggen, Edsko de Vries, Arthur Hughes |