| 2014 | A theory of gradual effect systems. | Felipe Baados Schwerter, Ronald Garcia, ric Tanter |
| 2014 | SeLINQ: tracking information across application-database boundaries. | Daniel Schoepe, Daniel Hedin, Andrei Sabelfeld |
| 2014 | Concurrent NetCore: from policies to pipelines. | Cole Schlesinger, Michael Greenberg, David Walker |
| 2014 | Fusing filters with integer linear programming. | Amos Robinson, Ben Lippmeier, Gabriele Keller |
| 2014 | Type inference for the spine view of data. | Matthew Roberts, Anthony M. Sloane |
| 2014 | On teaching *how to design programs*: observations from a newcomer. | Norman Ramsey |
| 2014 | Hindley-milner elaboration in applicative style: functional pearl. | Franois Pottier |
| 2014 | Coeffects: a calculus of context-dependent computation. | Tomas Petricek, Dominic A. Orchard, Alan Mycroft |
| 2014 | Functional programming, object-oriented programming and algebras! | Bruno C. d. S. Oliveira |
| 2014 | SML# in industry: a practical ERP system development. | Atsushi Ohori, Katsuhiro Ueno, Kazunori Hoshi, Shinji Nozaki, Takashi Sato, Tasuku Makabe, Yuki Ito |
| 2014 | [Demo abstract] LittleBits synth kit as a physically-embodied, domain specific functional programming language. | James Noble, Timothy Jones |
| 2014 | Soft contract verification. | Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn |
| 2014 | Lem: reusable engineering of real-world semantics. | Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell |
| 2014 | Making programming languages to dance to: live coding with tidal. | Alex McLean |
| 2014 | How to keep your neighbours in order. | Conor Thomas McBride |
| 2014 | There is no fork: an abstraction for efficient, concurrent, and concise data access. | Simon Marlow, Louis Brandy, Jonathan Coens, Jon Purdy |
| 2014 | Functional generation of harmony and melody. | Jos Pedro Magalhes, Hendrik Vincent Koops |
| 2014 | LambdaJIT: a dynamic compiler for heterogeneous optimizations of STL algorithms. | Thibaut Lutz, Vinod Grover |
| 2014 | Native offload of Haskell repa programs to integrated GPUs. | Hai Liu, Laurence E. Day, Neal Glew, Todd A. Anderson, Rajkishore Barik |
| 2014 | Algebraic effects and effect handlers for idioms and arrows. | Sam Lindley |
| 2014 | Exploring melody space in a live context using declarative functional programming. | Thomas Greve Kristensen |
| 2014 | A relational framework for higher-order shape analysis. | Gowtham Kaki, Suresh Jagannathan |
| 2014 | [Demo abstract] Patterning: repetitive and recursive pattern generation using clojure and quil. | Phil Jones |
| 2014 | Tiled polymorphic temporal media. | Paul Hudak, David Janin |
| 2014 | [Demo abstract] Music suite: a family of musical representations. | Hans Hoglund |