| 2013 | Bluespec and Haskell. | Arvind |
| 2013 | New equations for neutral terms: a sound and complete decision procedure, formalized. | Guillaume Allais, Conor McBride, Pierre Boutillier |
| 2013 | Wellfounded recursion with copatterns: a unified approach to termination and productivity. | Andreas Abel, Brigitte Pientka |
| 2013 | From sonic Pi to overtone: creative musical experiences with domain-specific and functional languages. | Samuel Aaron, Alan F. Blackwell |
| 2012 | Avalanche: a fine-grained flow graph model for irregular applications on distributed-memory systems. | Jeremiah J. Willcock, Ryan R. Newton, Andrew Lumsdaine |
| 2012 | An embedded DSL for stochastic processes: research article. | Michael Fln Werk, Joakim Ahnfelt-Rnne, Ken Friis Larsen |
| 2012 | Propositions as sessions. | Philip Wadler |
| 2012 | Equality proofs and deferred type errors: a compiler pearl. | Dimitrios Vytiniotis, Simon L. Peyton Jones, Jos Pedro Magalhes |
| 2012 | Haskell vs. f# vs. scala: a high-level language features and parallelism support comparison. | Prabhat Totoo, Pantazis Deligiannis, Hans-Wolfgang Loidl |
| 2012 | Parallel discrete event simulation with Erlang. | Luca Toscano, Gabriele D'Angelo, Moreno Marzolla |
| 2012 | Efficient compilation of tail calls and continuations to JavaScript. | Eric Thivierge, Marc Feeley |
| 2012 | Seeing the futures: profiling shared-memory parallel racket. | James Swaine, Burke Fetscher, Vincent St-Amour, Robert Bruce Findler, Matthew Flatt |
| 2012 | Parallel programming in Haskell almost for free: an embedding of intel's array building blocks. | Bo Joel Svensson, Mary Sheeran |
| 2012 | Verified heap theorem prover by paramodulation. | Gordon Stewart, Lennart Beringer, Andrew W. Appel |
| 2012 | Addressing covert termination and timing channels in concurrent information flow systems. | Deian Stefan, Alejandro Russo, Pablo Buiras, Amit Levy, John C. Mitchell, David Mazires |
| 2012 | Form over function: teaching beginners how to construct programs. | Michael Sperber, Marcus Crestani |
| 2012 | Automatic amortised analysis of dynamic memory allocation for lazy functional programs. | Hugo R. Simes, Pedro B. Vasconcelos, Mrio Florido, Steffen Jost, Kevin Hammond |
| 2012 | Interpretations of the gradually-typed lambda calculus. | Jeremy G. Siek, Ronald Garcia |
| 2012 | Sneaking around concatMap: efficient combinators for dynamic programming. | Christian Hner zu Siederdissen |
| 2012 | Painless programming combining reduction and search: design principles for embedding decision procedures in high-level languages. | Timothy E. Sheard |
| 2012 | Tales from the jungle. | Peter Sewell |
| 2012 | Pure type systems with corecursion on streams: from finite to infinitary normalisation. | Paula Severi, Fer-Jan de Vries |
| 2012 | Harnessing parallelism in FPGAs using the hume language. | Jocelyn Srot, Greg J. Michaelson |
| 2012 | Using scheme to control simulated modular robots. | Ulrik Pagh Schultz |
| 2012 | Hygienic quasiquotation in scheme. | Morten Rhiger |