Links to accepted papers for the 2014 ACM SIGPLAN Haskell Symposium (Haskell 2014). (You may also be interested in ICFP 2014 accepted papers.)
Status of links at last commit:
-
Keynote: UniKernels: Functional Operating System Design
(video) (video of discussion)
by Anil Madhavapeddy -
Keynote: Interleaving Data and Effects
(video)
by Patricia Johann -
PC Chair Report & Future of Haskell discussion
(video)
by Wouter Swierstra -
Experience Report: The Next 1100 Haskell Programmers
(paper) (video)
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) (video)
by Takayuki Muranushi and Richard A. Eisenberg. -
A Simple Semantics for Haskell Overloading
(paper) (video)
by J. Garrett Morris. -
Reflection without Remorse: Revealing a hidden sequence to speed up monadic reflection
(paper) (video)
by Atze van der Ploeg and Oleg Kiselyov. -
A seamless, client-centric programming model for type safe web applications
(paper) (video)
by Anton Ekblad and Koen Claessen. -
Effect Handlers in Scope
(paper) (video)
by Nicolas Wu, Tom Schrijvers and Ralf Hinze. -
Embedding effect systems in Haskell
(paper) (video)
by Dominic Orchard and Tomas Petricek. -
Promoting Functions to Type Families in Haskell
(paper) (extended paper) (video)
by Richard A. Eisenberg and Jan Stolarek. -
SmartCheck: Automatic and Efficient Counterexample Reduction and Generalization
(paper) (video)
by Lee Pike. -
LiquidHaskell: Refinement Types in the Real World
(paper) (video)
by Niki Vazou, Eric L. Seidel and Ranjit Jhala. -
The HdpH DSLs for Scalable Reliable Computation
(paper) (video)
by Patrick Maier, Robert Stewart and Phil Trinder. -
Indentation-Sensitive Parsing for Parsec
(video)
by Michael D. Adams and Ömer Sinan Ağacan. -
Building Secure Systems with LIO (Systems Demo)
(paper) (video)
by Deian Stefan and Alejandro Russo. -
Foreign Inline Code (Systems Demo)
(video)
by Manuel Chakravarty. -
Making Web Applications -XSafe (Systems Demo)
(paper) (video)
by Amit Levy, David Terei, Deian Stefan and David Mazieres. -
NetBSD Sound Drivers in Haskell (Systems Demo)
(long-version paper) (video)
by Kiwamu Okabe and Takayuki Muranushi.