Haskell '14- Proceedings of the 2014 ACM SIGPLAN symposium on Haskell

Full Citation in the ACM Digital Library

SESSION: Effects

Effect handlers in scope

Embedding effect systems in Haskell

SESSION: Education and experience

Experience report: the next 1100 Haskell programmers

Experience report: type-checking polymorphic units for astrophysics research in Haskell

SESSION: Correctness

LiquidHaskell: experience with refinement types in the real world

SmartCheck: automatic and efficient counterexample reduction and generalization

SESSION: Concurrency

The HdpH DSLs for scalable reliable computation

Systems demonstration: writing NetBSD sound drivers in Haskell

SESSION: Webprogramming

A seamless, client-centric programming model for type safe web applications

Demo proposal: making web applications -XSafe

Building secure systems with LIO (demo)


Promoting functions to type families in Haskell

A simple semantics for Haskell overloading

SESSION: Parsing

Foreign inline code: systems demonstration

Indentation-sensitive parsing for Parsec

SESSION: Reflection

Reflection without remorse: revealing a hidden sequence to speed up monadic reflection