| 2010 | A certified framework for compiling and executing garbage-collected languages. Andrew McCreight, Tim Chevalier, Andrew P. Tolmach |
| 2010 | A fresh look at programming with names and binders. Nicolas Pouillard, François Pottier |
| 2010 | A play on regular expressions: functional pearl. Sebastian Fischer, Frank Huch, Thomas Wilke |
| 2010 | Abstracting abstract machines. David Van Horn, Matthew Might |
| 2010 | Bidirectionalizing graph transformations. Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano |
| 2010 | Combining syntactic and semantic bidirectionalization. Janis Voigtländer, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang |
| 2010 | Distance makes the types grow stronger: a calculus for differential privacy. Jason Reed, Benjamin C. Pierce |
| 2010 | Experience report: Haskell as a reagent: results and observations on the use of Haskell in a python project. Iustin Pop |
| 2010 | Experience report: growing programming languages for beginning students. Marcus Crestani, Michael Sperber |
| 2010 | Fortifying macros. Ryan Culpepper, Matthias Felleisen |
| 2010 | Functional parallel algorithms. Guy E. Blelloch |
| 2010 | Functional pearl: every bit counts. Dimitrios Vytiniotis, Andrew J. Kennedy |
| 2010 | Higher-order representation of substructural logics. Karl Crary |
| 2010 | Instance chains: type class programming without overlapping instances. J. Garrett Morris, Mark P. Jones |
| 2010 | Lazy tree splitting. Lars Bergstrom, Mike Rainey, John H. Reppy, Adam Shaw, Matthew Fluet |
| 2010 | Logical types for untyped languages. Sam Tobin-Hochstadt, Matthias Felleisen |
| 2010 | Lolliproc: to concurrency from classical linear logic via curry-howard and control. Karl Mazurak, Steve Zdancewic |
| 2010 | ML: metalanguage or object language? Michael J. C. Gordon |
| 2010 | Matching lenses: alignment and view update. Davi M. J. Barbosa, Julien Cretin, Nate Foster, Michael Greenberg, Benjamin C. Pierce |
| 2010 | Parametricity and dependent types. Jean-Philippe Bernardy, Patrik Jansson, Ross Paterson |
| 2010 | Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators. Stefan Holdermans, Jurriaan Hage |
| 2010 | Proceedings of the 15th ACM SIGPLAN International Conference on Functional Programming, ICFP 2010, Baltimore, Maryland, USA, September 27-29, 2010 Paul Hudak, Stephanie Weirich |
| 2010 | Program verification through characteristic formulae. Arthur Charguéraud |
| 2010 | ReCaml: execution state as the cornerstone of reconfigurations. Jérémy Buisson, Fabien Dagnat |
| 2010 | Regular, shape-polymorphic, parallel arrays in Haskell. Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier |
| 2010 | Rethinking supercompilation. Neil Mitchell |
| 2010 | Scrapping your inefficient engine: using partial evaluation to improve domain-specific language implementation. Edwin C. Brady, Kevin Hammond |
| 2010 | Security-typed programming within dependently typed programming. Jamie Morgenstern, Daniel R. Licata |
| 2010 | Semantic subtyping with an SMT solver. Gavin M. Bierman, Andrew D. Gordon, Catalin Hritcu, David E. Langworthy |
| 2010 | Specifying and verifying sparse matrix codes. Gilad Arnold, Johannes Hölzl, Ali Sinan Köksal, Rastislav Bodík, Mooly Sagiv |
| 2010 | TeachScheme!: a checkpoint. Matthias Felleisen |
| 2010 | The gentle art of levitation. James Chapman, Pierre-Évariste Dagand, Conor McBride, Peter Morris |
| 2010 | The impact of higher-order state and control effects on local relational reasoning. Derek Dreyer, Georg Neis, Lars Birkedal |
| 2010 | The reduceron reconfigured. Matthew Naylor, Colin Runciman |
| 2010 | Total parser combinators. Nils Anders Danielsson |
| 2010 | Using functional programming within an industrial product group: perspectives and perceptions. David J. Scott, Richard Sharp, Thomas Gazagnaire, Anil Madhavapeddy |
| 2010 | VeriML: typed computation of logical terms inside a language with effects. Antonis Stampoulis, Zhong Shao |