| 2014 | A relational framework for higher-order shape analysis. Gowtham Kaki, Suresh Jagannathan |
| 2014 | A theory of gradual effect systems. Felipe Bañados Schwerter, Ronald Garcia, Éric Tanter |
| 2014 | Behavioral software contracts. Robert Bruce Findler |
| 2014 | Building embedded systems with embedded DSLs. Patrick C. Hickey, Lee Pike, Trevor Elliott, James Bielman, John Launchbury |
| 2014 | Coeffects: a calculus of context-dependent computation. Tomas Petricek, Dominic A. Orchard, Alan Mycroft |
| 2014 | Compositional semantics for composable continuations: from abortive to delimited control. Paul Downen, Zena M. Ariola |
| 2014 | Concurrent NetCore: from policies to pipelines. Cole Schlesinger, Michael Greenberg, David Walker |
| 2014 | Depending on types. Stephanie Weirich |
| 2014 | Distilling abstract machines. Beniamino Accattoli, Pablo Barenbaum, Damiano Mazza |
| 2014 | Folding domain-specific languages: deep and shallow embeddings (functional Pearl). Jeremy Gibbons, Nicolas Wu |
| 2014 | Functional programming for dynamic and large data with self-adjusting computation. Yan Chen, Umut A. Acar, Kanat Tangwongsan |
| 2014 | Hindley-milner elaboration in applicative style: functional pearl. François Pottier |
| 2014 | Homotopical patch theory. Carlo Angiuli, Edward Morehouse, Daniel R. Licata, Robert Harper |
| 2014 | How to keep your neighbours in order. Conor Thomas McBride |
| 2014 | Krivine nets: a semantic foundation for distributed execution. Olle Fredriksson, Dan R. Ghica |
| 2014 | Lem: reusable engineering of real-world semantics. Dominic P. Mulligan, Scott Owens, Kathryn E. Gray, Tom Ridge, Peter Sewell |
| 2014 | Maximal sharing in the Lambda calculus with letrec. Clemens Grabmayer, Jan Rochel |
| 2014 | On teaching *how to design programs*: observations from a newcomer. Norman Ramsey |
| 2014 | Pattern matching without K. Jesper Cockx, Dominique Devriese, Frank Piessens |
| 2014 | Practical and effective higher-order optimizations. Lars Bergstrom, Matthew Fluet, Matthew Le, John H. Reppy, Nora Sandler |
| 2014 | Proceedings of the 19th ACM SIGPLAN international conference on Functional programming, Gothenburg, Sweden, September 1-3, 2014 Johan Jeuring, Manuel M. T. Chakravarty |
| 2014 | Refinement types for Haskell. Niki Vazou, Eric L. Seidel, Ranjit Jhala, Dimitrios Vytiniotis, Simon L. Peyton Jones |
| 2014 | Romeo: a system for more flexible binding-safe programming. Paul Stansifer, Mitchell Wand |
| 2014 | SML# in industry: a practical ERP system development. Atsushi Ohori, Katsuhiro Ueno, Kazunori Hoshi, Shinji Nozaki, Takashi Sato, Tasuku Makabe, Yuki Ito |
| 2014 | Safe zero-cost coercions for Haskell. Joachim Breitner, Richard A. Eisenberg, Simon L. Peyton Jones, Stephanie Weirich |
| 2014 | SeLINQ: tracking information across application-database boundaries. Daniel Schoepe, Daniel Hedin, Andrei Sabelfeld |
| 2014 | Settable and non-interfering signal functions for FRP: how a first-order switch is more than enough. Daniel Winograd-Cort, Paul Hudak |
| 2014 | Soft contract verification. Phuc C. Nguyen, Sam Tobin-Hochstadt, David Van Horn |
| 2014 | There is no fork: an abstraction for efficient, concurrent, and concise data access. Simon Marlow, Louis Brandy, Jonathan Coens, Jon Purdy |
| 2014 | Type-based parametric analysis of program families. Sheng Chen, Martin Erwig |
| 2014 | Using formal methods to enable more secure vehicles: DARPA's HACMS program. Kathleen Fisher |
| 2014 | Worker/wrapper/makes it/faster. Jennifer Hackett, Graham Hutton |