| 2013 | Embrace, defend, extend: a methodology for embedding preexisting DSLs. | Abhishek Kulkarni, Ryan R. Newton |
| 2013 | Higher-order functional reactive programming without spacetime leaks. | Neelakantan R. Krishnaswami |
| 2013 | A functional approach to automatic melody harmonisation. | Hendrik Vincent Koops, Jos Pedro Magalhes, W. Bas de Haas |
| 2013 | Relational algebraic ornaments. | Hsiang-Shang Ko, Jeremy Gibbons |
| 2013 | Generic datatypes la carte. | Steven Keuchel, Tom Schrijvers |
| 2013 | A nanopass framework for commercial compiler development. | Andrew W. Keep, R. Kent Dybvig |
| 2013 | Handlers in action. | Ohad Kammar, Sam Lindley, Nicolas Oury |
| 2013 | Computer science as a school subject. | Simon L. Peyton Jones |
| 2013 | Optimizing abstract abstract machines. | Dionna Amalie Glaze, Nicholas Labich, Matthew Might, David Van Horn |
| 2013 | Functional reactive programming with liveness guarantees. | Alan Jeffrey |
| 2013 | The T-calculus: towards a structured programing of (musical) time and space. | David Janin, Florent Berthaut, Myriam Desainte-Catherine, Yann Orlarey, Sylvain Salvati |
| 2013 | Testing noninterference, quickly. | Catalin Hritcu, John Hughes, Benjamin C. Pierce, Antal Spector-Zabusky, Dimitrios Vytiniotis, Arthur Azevedo de Amorim, Leonidas Lampropoulos |
| 2013 | Unifying structured recursion schemes. | Ralf Hinze, Nicolas Wu, Jeremy Gibbons |
| 2013 | Histo- and dynamorphisms revisited. | Ralf Hinze, Nicolas Wu |
| 2013 | Structural recursion for querying ordered graphs. | Soichiro Hidaka, Kazuyuki Asada, Zhenjiang Hu, Hiroyuki Kato, Keisuke Nakano |
| 2013 | ViperVM: a runtime system for parallel functional high-performance computing on heterogeneous architectures. | Sylvain Henry |
| 2013 | A T2 graph-reduction approach to fusion. | Troels Henriksen, Cosmin Eugen Oancea |
| 2013 | Visualizing the turing tarpit. | Jason Hemann, Eric Holk |
| 2013 | Encoding secure information flow with restricted delegation and revocation in Haskell. | Doaa Hassan, Amr Sabry |
| 2013 | A multivalued language with a dependent type system. | Neal Glew, Tim Sweeney, Leaf Petersen |
| 2013 | Multi-polymorphic programming in bondi. | Thomas Given-Wilson, Freeman Huang, Barry Jay |
| 2013 | Calculating threesomes, with blame. | Ronald Garcia |
| 2013 | The manticore project. | Matthew Fluet |
| 2013 | Complete and easy bidirectional typechecking for higher-rank polymorphism. | Jana Dunfield, Neelakantan R. Krishnaswami |
| 2013 | N queens problem: a metaprogramming stress test for the compiler. | Denis V. Dubrov |