| 2011 | Just do it: simple monadic equational reasoning. | Jeremy Gibbons, Ralf Hinze |
| 2011 | Geometry of synthesis iv: compiling affine recursion into static hardware. | Dan R. Ghica, Alex I. Smith, Satnam Singh |
| 2011 | Parametric polymorphism and semantic subtyping: the logical connection. | Nils Gesbert, Pierre Genevs, Nabil Layada |
| 2011 | Linearity and PCF: a semantic insight! | Marco Gaboardi, Luca Paolini, Mauro Piccolo |
| 2011 | Frenetic: a network programming language. | Nate Foster, Rob Harrison, Michael J. Freedman, Christopher Monsanto, Jennifer Rexford, Alec Story, David Walker |
| 2011 | Forest: a language and toolkit for programming with filestores. | Kathleen Fisher, Nate Foster, David Walker, Kenny Qili Zhu |
| 2011 | Towards a comprehensive theory of monadic effects. | Andrzej Filinski |
| 2011 | Temporal higher-order contracts. | Tim Disney, Cormac Flanagan, Jay McCarthy |
| 2011 | On the bright side of type classes: instance arguments in Agda. | Dominique Devriese, Frank Piessens |
| 2011 | Using camlp4 for presenting dynamic mathematics on the web: DynaMoW, an OCaml language extension for the run-time generation of mathematical contents and their presentation on the web. | Frdric Chyzak, Alexis Darrasse |
| 2011 | Implicit self-adjusting computation for purely functional programs. | Yan Chen, Jana Dunfield, Matthew A. Hammer, Umut A. Acar |
| 2011 | Characteristic formulae for the verification of imperative programs. | Arthur Charguraud |
| 2011 | Set-theoretic foundation of parametric polymorphism and subtyping. | Giuseppe Castagna, Zhiwu Xu |
| 2011 | Compositional data types. | Patrick Bahr, Tom Hvitved |
| 2011 | A hierarchy of mendler style recursion combinators: taming inductive datatypes with negative occurrences. | Ki Yung Ahn, Tim Sheard |
| 2011 | An equivalence-preserving CPS translation via multi-language semantics. | Amal Ahmed, Matthias Blume |
| 2010 | Functional pearl: every bit counts. | Dimitrios Vytiniotis, Andrew J. Kennedy |
| 2010 | Combining syntactic and semantic bidirectionalization. | Janis Voigtlnder, Zhenjiang Hu, Kazutaka Matsuda, Meng Wang |
| 2010 | Generic storage in Haskell. | Sebastiaan Visser, Andres Lh |
| 2010 | Logical types for untyped languages. | Sam Tobin-Hochstadt, Matthias Felleisen |
| 2010 | Hereditarily Finite Representations of Natural Numbers and Self-Delimiting Codes. | Paul Tarau |
| 2010 | Generic selections of subexpressions. | Martijn Van Steenbergen, Jos Pedro Magalhes, Johan Jeuring |
| 2010 | VeriML: typed computation of logical terms inside a language with effects. | Antonis Stampoulis, Zhong Shao |
| 2010 | Using functional programming within an industrial product group: perspectives and perceptions. | David J. Scott, Richard Sharp, Thomas Gazagnaire, Anil Madhavapeddy |
| 2010 | Distance makes the types grow stronger: a calculus for differential privacy. | Jason Reed, Benjamin C. Pierce |