Links to accepted papers for the 2014 ACM SIGPLAN Haskell Symposium (Haskell 2014). (You may also be interested in ICFP 2014 accepted papers.)
-
Experience Report: The Next 1100 Haskell Programmers
(paper)
by Jasmin Christian Blanchette, Lars Hupel, Tobias Nipkow, Lars Noschinski and Dmitriy Traytel. -
Experience Report: Type-checking Polymorphic Units for Astrophysics Research in Haskell
(paper)
by Takayuki Muranushi and Richard A. Eisenberg. -
A Simple Semantics for Haskell Overloading
(paper)
by J. Garrett Morris. -
Reflection without Remorse: Revealing a hidden sequence to speed up monadic reflection
(paper)
by Atze van der Ploeg and Oleg Kiselyov. -
A seamless, client-centric programming model for type safe web applications
(paper)
by Anton Ekblad and Koen Claessen. -
Effect Handlers in Scope
(paper)
by Nicolas Wu, Tom Schrijvers and Ralf Hinze. -
Embedding effect systems in Haskell
(paper)
by Dominic Orchard and Tomas Petricek. -
Promoting Functions to Type Families in Haskell
(paper) (extended paper)
by Richard A. Eisenberg and Jan Stolarek. -
SmartCheck: Automatic and Efficient Counterexample Reduction and Generalization
(paper)
by Lee Pike. -
LiquidHaskell: Refinement Types in the Real World
(paper)
by Niki Vazou, Eric L. Seidel and Ranjit Jhala. -
The HdpH DSLs for Scalable Reliable Computation
(paper)
by Patrick Maier, Robert Stewart and Phil Trinder. -
Indentation-Sensitive Parsing for Parsec
by Michael D. Adams and Ömer Sinan Ağacan. -
Building Secure Systems with LIO (Systems Demo)
(paper)
by Deian Stefan and Alejandro Russo. -
Foreign Inline Code (Systems Demo)
by Manuel Chakravarty. -
Making Web Applications -XSafe (Systems Demo)
by Amit Levy, David Terei, Deian Stefan and David Mazieres. -
NetBSD Sound Drivers in Haskell (Systems Demo)
(long-version paper)
by Kiwamu Okabe and Takayuki Muranushi.