Haskell logo

Haskell Symposium 2014

Göteborg, Sweden
4 – 5 September, 2014
(directly after ICFP)
ACM logo

Haskell '14 Accepted Papers

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