| 2012 | Typing unmarshalling without marshalling types. | Grgoire Henry, Michel Mauny, Emmanuel Chailloux, Pascal Manoury |
| 2012 | Using functional languages to facilitate C++ metaprogramming. | Seyed H. Haeri, Sibylle Schupp, Jonathan J. Hser |
| 2012 | A pattern for almost homomorphic functions. | Nicolas Frisby, Andy Gill, Perry Alexander |
| 2012 | A meta-scheduler for the par-monad: composable scheduling for the heterogeneous cloud. | Adam Foltzer, Abhishek Kulkarni, Rebecca Swords, Sajith Sasidharan, Eric Jiang, Ryan Newton |
| 2012 | On the complexity of equivalence of specifications of infinite objects. | Jrg Endrullis, Dimitri Hendriks, Rena Bakhshi |
| 2012 | Introspective pushdown analysis of higher-order programs. | Christopher Earl, Ilya Sergey, Matthew Might, David Van Horn |
| 2012 | AspectScheme: aspects in higher-order languages. | Christopher J. Dutchyn |
| 2012 | Elaborating intersection and union types. | Jana Dunfield |
| 2012 | Operational semantics using the partiality monad. | Nils Anders Danielsson |
| 2012 | Experience report: Haskell in computational biology. | Noah M. Daniels, Andrew Gallant, Norman Ramsey |
| 2012 | Transporting functions across ornaments. | Pierre-variste Dagand, Conor McBride |
| 2012 | Practical typed lazy contracts. | Olaf Chitil |
| 2012 | An error-tolerant type system for variational lambda calculus. | Sheng Chen, Martin Erwig, Eric Walkingshaw |
| 2012 | miniKanren, live and untagged: quine generation via relational interpreters (programming pearl). | William E. Byrd, Eric Holk, Daniel P. Friedman |
| 2012 | Usage of petri nets for high performance computing. | Stanislav Bhm, Marek Behalek |
| 2012 | Nested data-parallelism on the gpu. | Lars Bergstrom, John H. Reppy |
| 2012 | A generic abstract syntax model for embedded languages. | Emil Axelsson |
| 2011 | Binders unbound. | Stephanie Weirich, Brent A. Yorgey, Tim Sheard |
| 2011 | Incremental updates for efficient bidirectional transformations. | Meng Wang, Jeremy Gibbons, Nicolas Wu |
| 2011 | ConceptClang: an implementation of C++ concepts in Clang. | Larisse Voufo, Marcin Zalewski, Andrew Lumsdaine |
| 2011 | Pushdown flow analysis of first-class control. | Dimitrios Vardoulakis, Olin Shivers |
| 2011 | An efficient non-moving garbage collector for functional languages. | Katsuhiro Ueno, Atsushi Ohori, Toshiaki Otomo |
| 2011 | A kripke logical relation for effect-based program transformations. | Jacob Thamsborg, Lars Birkedal |
| 2011 | Programming assurance cases in Agda. | Makoto Takeyama |
| 2011 | Lightweight monadic programming in ML. | Nikhil Swamy, Nataliya Guts, Daan Leijen, Michael Hicks |