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

Full Citation in the ACM Digital Library

SESSION: Effects

Effect handlers in scope

• Nicolas Wu
• Tom Schrijvers
• Ralf Hinze

Embedding effect systems in Haskell

• Dominic Orchard
• Tomas Petricek

SESSION: Education and experience

Experience report: the next 1100 Haskell programmers

• Jasmin Christian Blanchette
• Lars Hupel
• Tobias Nipkow
• Lars Noschinski
• Dmitriy Traytel

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

• Takayuki Muranushi
• Richard A. Eisenberg

SESSION: Correctness

LiquidHaskell: experience with refinement types in the real world

• Niki Vazou
• Eric L. Seidel
• Ranjit Jhala

SmartCheck: automatic and efficient counterexample reduction and generalization

• Lee Pike

SESSION: Concurrency

The HdpH DSLs for scalable reliable computation

• Patrick Maier
• Robert Stewart
• Phil Trinder

Systems demonstration: writing NetBSD sound drivers in Haskell

• Kiwamu Okabe
• Takayuki Muranushi

SESSION: Webprogramming

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

• Anton Ekblad
• Koen Claessen

Demo proposal: making web applications -XSafe

• Amit A. Levy
• David Terei
• Deian Stefan
• David Maziéres

Building secure systems with LIO (demo)

• Deian Stefan
• Amit Levy
• Alejandro Russo
• David Maziéres

SESSION: Types

Promoting functions to type families in Haskell

• Richard A. Eisenberg
• Jan Stolarek

A simple semantics for Haskell overloading

• J. Garrett Morris

SESSION: Parsing

Foreign inline code: systems demonstration

• Manuel M.T. Chakravarty

Indentation-sensitive parsing for Parsec

• Michael D. Adams
• Ömer S. Ağacan

SESSION: Reflection

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

• Atze van der Ploeg
• Oleg Kiselyov