| 2015 | 1ML - core and modules united (F-ing first-class modules). Andreas Rossberg |
| 2015 | A fast compiler for NetKAT. Steffen Smolka, Spiridon Aristides Eliopoulos, Nate Foster, Arjun Guha |
| 2015 | A unification algorithm for Coq featuring universe polymorphism and overloading. Beta Ziliani, Matthieu Sozeau |
| 2015 | Adaptive lock-free maps: purely-functional to scalable. Ryan R. Newton, Peter P. Fogg, Ali Varamesh |
| 2015 | Algebras and coalgebras in the light affine Lambda calculus. Marco Gaboardi, Romain Péchoux |
| 2015 | An optimizing compiler for a purely functional web-application language. Adam Chlipala |
| 2015 | Analysing the complexity of functional programs: higher-order meets first-order. Martin Avanzini, Ugo Dal Lago, Georg Moser |
| 2015 | Applicative bidirectional programming with lenses. Kazutaka Matsuda, Meng Wang |
| 2015 | Automatic refunctionalization to a language with copattern matching: with applications to the expression problem. Tillmann Rendel, Julia Trieflinger, Klaus Ostermann |
| 2015 | Blame assignment for higher-order contracts with intersection and union. Matthias Keil, Peter Thiemann |
| 2015 | Bounded refinement types. Niki Vazou, Alexander Bakst, Ranjit Jhala |
| 2015 | Certified symbolic management of financial multi-party contracts. Patrick Bahr, Jost Berthold, Martin Elsman |
| 2015 | Denotational cost semantics for functional languages with inductive types. Norman Danner, Daniel R. Licata, Ramyaa |
| 2015 | Efficient communication and collection with compact normal forms. Edward Z. Yang, Giovanni Campagna, Ömer S. Agacan, Ahmed El-Hassany, Abhishek Kulkarni, Ryan R. Newton |
| 2015 | Elaborating evaluation-order polymorphism. Jana Dunfield |
| 2015 | Expressing contract monitors as patterns of communication. Cameron Swords, Amr Sabry, Sam Tobin-Hochstadt |
| 2015 | Foundational extensible corecursion: a proof assistant perspective. Jasmin Christian Blanchette, Andrei Popescu, Dmitriy Traytel |
| 2015 | Functional pearl: a SQL to C compiler in 500 lines of code. Tiark Rompf, Nada Amin |
| 2015 | Functional pearl: a smart view on datatypes. Mauro Jaskelioff, Exequiel Rivas |
| 2015 | Functional pearl: two can keep a secret, if one of them uses Haskell. Alejandro Russo |
| 2015 | Functional programming and hardware design: still interesting after all these years. Mary Sheeran |
| 2015 | GADTs meet their match: pattern-matching warnings that account for GADTs, guards, and laziness. Georgios Karachalias, Tom Schrijvers, Dimitrios Vytiniotis, Simon L. Peyton Jones |
| 2015 | Generating performance portable code using rewrite rules: from high-level functional expressions to high-performance OpenCL code. Michel Steuwer, Christian Fensch, Sam Lindley, Christophe Dubach |
| 2015 | HLIO: mixing static and dynamic typing for information-flow control in Haskell. Pablo Buiras, Dimitrios Vytiniotis, Alejandro Russo |
| 2015 | Hygienic resugaring of compositional desugaring. Justin Pombrio, Shriram Krishnamurthi |
| 2015 | Learning refinement types. He Zhu, Aditya V. Nori, Suresh Jagannathan |
| 2015 | Noninterference for free. William J. Bowman, Amal Ahmed |
| 2015 | Partial aborts for transactions via first-class continuations. Matthew Le, Matthew Fluet |
| 2015 | Pilsner: a compositionally verified compiler for a higher-order imperative language. Georg Neis, Chung-Kil Hur, Jan-Oliver Kaiser, Craig McLaughlin, Derek Dreyer, Viktor Vafeiadis |
| 2015 | Practical SMT-based type error localization. Zvonimir Pavlinovic, Tim King, Thomas Wies |
| 2015 | Practical principled FRP: forget the past, change the future, FRPNow! Atze van der Ploeg, Koen Claessen |
| 2015 | Proceedings of the 20th ACM SIGPLAN International Conference on Functional Programming, ICFP 2015, Vancouver, BC, Canada, September 1-3, 2015 Kathleen Fisher, John H. Reppy |
| 2015 | Program synthesis: opportunities for the next decade. Rastislav Bodík |
| 2015 | Pycket: a tracing JIT for a functional language. Spenser Bauman, Carl Friedrich Bolz, Robert Hirschfeld, Vasily Kirilichev, Tobias Pape, Jeremy G. Siek, Sam Tobin-Hochstadt |
| 2015 | RRB vector: a practical general purpose immutable sequence. Nicolas Stucki, Tiark Rompf, Vlad Ureche, Phil Bagwell |
| 2015 | Structures for structural recursion. Paul Downen, Philip Johnson-Freyd, Zena M. Ariola |
| 2015 | Which simple types have a unique inhabitant? Gabriel Scherer, Didier Rémy |
| 2015 | XQuery and static typing: tackling the problem of backward axes. Pierre Genevès, Nils Gesbert |