| 2010 | A fresh look at programming with names and binders. | Nicolas Pouillard, Franois Pottier |
| 2010 | Experience report: Haskell as a reagent: results and observations on the use of Haskell in a python project. | Iustin Pop |
| 2010 | Ad-hoc polymorphism and dynamic typing in a statically typed functional language. | Thomas van Noort, Peter Achten, Rinus Plasmeijer |
| 2010 | The reduceron reconfigured. | Matthew Naylor, Colin Runciman |
| 2010 | Constructing datatype-generic fully polynomial-time approximation schemes using generalised thinning. | Shin-Cheng Mu, Yu-Han Lyu, Akimasa Morihata |
| 2010 | Instance chains: type class programming without overlapping instances. | J. Garrett Morris, Mark P. Jones |
| 2010 | Epigram Prime: A Demonstration. | Peter Morris |
| 2010 | Security-typed programming within dependently typed programming. | Jamie Morgenstern, Daniel R. Licata |
| 2010 | Rethinking supercompilation. | Neil Mitchell |
| 2010 | A certified framework for compiling and executing garbage-collected languages. | Andrew McCreight, Tim Chevalier, Andrew P. Tolmach |
| 2010 | Outrageous but meaningful coincidences: dependent type-safe syntax and evaluation. | Conor McBride |
| 2010 | Lolliproc: to concurrency from classical linear logic via curry-howard and control. | Karl Mazurak, Steve Zdancewic |
| 2010 | Regular, shape-polymorphic, parallel arrays in Haskell. | Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Simon L. Peyton Jones, Ben Lippmeier |
| 2010 | Hereditary Substitutions for Simple Types, Formalized. | Chantal Keller, Thorsten Altenkirch |
| 2010 | Abstracting abstract machines. | David Van Horn, Matthew Might |
| 2010 | Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators. | Stefan Holdermans, Jurriaan Hage |
| 2010 | Reason isomorphically! | Ralf Hinze, Daniel W. H. James |
| 2010 | Bidirectionalizing graph transformations. | Soichiro Hidaka, Zhenjiang Hu, Kazuhiro Inaba, Hiroyuki Kato, Kazutaka Matsuda, Keisuke Nakano |
| 2010 | Generic multiset programming for language-integrated querying. | Fritz Henglein, Ken Friis Larsen |
| 2010 | Type Inference in Context. | Adam Gundry, Conor McBride, James McKinna |
| 2010 | ML: metalanguage or object language? | Michael J. C. Gordon |
| 2010 | A play on regular expressions: functional pearl. | Sebastian Fischer, Frank Huch, Thomas Wilke |
| 2010 | Hybrid: Reasoning with Higher-Order Abstract Syntax in Coq and Isabelle. | Amy P. Felty |
| 2010 | TeachScheme!: a checkpoint. | Matthias Felleisen |
| 2010 | What Sequential Games, the Tychonoff Theorem and the Double-Negation Shift Have in Common. | Martn Escard, Paulo Oliva |