atzeus/haskell2014-papers

Accepted papers for Haskell 2014

Haskell 2014 accepted papers

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
  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
  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
  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)
  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.