| 2014 | A seamless, client-centric programming model for type safe web applications. Anton Ekblad, Koen Claessen |
| 2014 | A simple semantics for Haskell overloading. J. Garrett Morris |
| 2014 | Building secure systems with LIO (demo). Deian Stefan, Amit Levy, Alejandro Russo, David Mazières |
| 2014 | Demo proposal: making web applications -XSafe. Amit A. Levy, David Terei, Deian Stefan, David Mazières |
| 2014 | Effect handlers in scope. Nicolas Wu, Tom Schrijvers, Ralf Hinze |
| 2014 | Embedding effect systems in Haskell. Dominic A. Orchard, Tomas Petricek |
| 2014 | Experience report: the next 1100 Haskell programmers. Jasmin Christian Blanchette, Lars Hupel, Tobias Nipkow, Lars Noschinski, Dmitriy Traytel |
| 2014 | Experience report: type-checking polymorphic units for astrophysics research in Haskell. Takayuki Muranushi, Richard A. Eisenberg |
| 2014 | Foreign inline code: systems demonstration. Manuel M. T. Chakravarty |
| 2014 | Indentation-sensitive parsing for Parsec. Michael D. Adams, Ömer S. Agacan |
| 2014 | LiquidHaskell: experience with refinement types in the real world. Niki Vazou, Eric L. Seidel, Ranjit Jhala |
| 2014 | Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014 Wouter Swierstra |
| 2014 | Promoting functions to type families in Haskell. Richard A. Eisenberg, Jan Stolarek |
| 2014 | Reflection without remorse: revealing a hidden sequence to speed up monadic reflection. Atze van der Ploeg, Oleg Kiselyov |
| 2014 | SmartCheck: automatic and efficient counterexample reduction and generalization. Lee Pike |
| 2014 | Systems demonstration: writing NetBSD sound drivers in Haskell. Kiwamu Okabe, Takayuki Muranushi |
| 2014 | The HdpH DSLs for scalable reliable computation. Patrick Maier, Robert J. Stewart, Phil Trinder |