Haskell 2014

16 papers

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