| 2013 | Fun with semirings: a functional pearl on the abuse of linear algebra. | Stephen Dolan |
| 2013 | Leveling up dependent types: generic programming over a predicative hierarchy of universes. | Larry Diehl, Tim Sheard |
| 2013 | Typed syntactic meta-programming. | Dominique Devriese, Frank Piessens |
| 2013 | Hoare-style reasoning with (algebraic) continuations. | Germn Andrs Delbianco, Aleksandar Nanevski |
| 2013 | Modular monadic meta-theory. | Benjamin Delaware, Steven Keuchel, Tom Schrijvers, Bruno C. d. S. Oliveira |
| 2013 | Sensitivity analysis using type-based constraints. | Loris D'Antoni, Marco Gaboardi, Emilio Jess Gallego Arias, Andreas Haeberlen, Benjamin C. Pierce |
| 2013 | Correct-by-construction pretty-printing. | Nils Anders Danielsson |
| 2013 | Dependent type providers. | David Raymond Christiansen |
| 2013 | The bedrock structured programming system: combining generative metaprogramming and hoare logic in an extensible program verifier. | Adam Chlipala |
| 2013 | A practical theory of language-integrated query. | James Cheney, Sam Lindley, Philip Wadler |
| 2013 | Data parallelism in Haskell. | Manuel M. T. Chakravarty |
| 2013 | C-SHORe: a collapsible approach to higher-order verification. | Christopher H. Broadbent, Arnaud Carayol, Matthew Hague, Olivier Serre |
| 2013 | Reduction as a transition controller for sound synthesis events. | Jean Bresson, Raphal Foulon, Marco Stroppa |
| 2013 | Generic representations of tree transformations. | Jeroen Bransen, Jos Pedro Magalhes |
| 2013 | Programming and reasoning with algebraic effects and dependent types. | Edwin C. Brady |
| 2013 | Towards a functional run-time for dense NLA domain. | Mauro Blanco, Pablo Perdomo, Pablo Ezzatti, Alberto Pardo, Marcos Viera |
| 2013 | Usage of generic programming on hackage: experience report. | Nikolaos Bezirgiannis, Johan Jeuring, Sean Leather |
| 2013 | Type-theory in color. | Jean-Philippe Bernardy, Guilhem Moulin |
| 2013 | Efficient divide-and-conquer parsing of practical context-free languages. | Jean-Philippe Bernardy, Koen Claessen |
| 2013 | Functional synthesis of genetic regulatory networks. | Jacob Beal, Aaron Adler |
| 2013 | Programming mixed music in ReactiveML. | Guillaume Baudart, Louis Mandel, Marc Pouzet |
| 2013 | Weak optimality, and the meaning of sharing. | Thibaut Balabonski |
| 2013 | Programming macro tree transducers. | Patrick Bahr, Laurence E. Day |
| 2013 | Using circular programs for higher-order syntax: functional pearl. | Emil Axelsson, Koen Claessen |
| 2013 | Productive coprogramming with guarded recursion. | Robert Atkey, Conor McBride |