Abstract is missing.
- Effect handlers in scopeNicolas Wu, Tom Schrijvers, Ralf Hinze. 1-12 [doi]
- Embedding effect systems in HaskellDominic A. Orchard, Tomas Petricek. 13-24 [doi]
- Experience report: the next 1100 Haskell programmersJasmin Christian Blanchette, Lars Hupel, Tobias Nipkow, Lars Noschinski, Dmitriy Traytel. 25-30 [doi]
- Experience report: type-checking polymorphic units for astrophysics research in HaskellTakayuki Muranushi, Richard A. Eisenberg. 31-38 [doi]
- LiquidHaskell: experience with refinement types in the real worldNiki Vazou, Eric L. Seidel, Ranjit Jhala. 39-51 [doi]
- SmartCheck: automatic and efficient counterexample reduction and generalizationLee Pike. 53-64 [doi]
- The HdpH DSLs for scalable reliable computationPatrick Maier, Robert J. Stewart, Phil Trinder. 65-76 [doi]
- Systems demonstration: writing NetBSD sound drivers in HaskellKiwamu Okabe, Takayuki Muranushi. 77-78 [doi]
- A seamless, client-centric programming model for type safe web applicationsAnton Ekblad, Koen Claessen. 79-89 [doi]
- Demo proposal: making web applications -XSafeAmit A. Levy, David Terei, Deian Stefan, David Mazières. 91 [doi]
- Building secure systems with LIO (demo)Deian Stefan, Amit Levy, Alejandro Russo, David Mazières. 93-94 [doi]
- Promoting functions to type families in HaskellRichard A. Eisenberg, Jan Stolarek. 95-106 [doi]
- A simple semantics for Haskell overloadingJ. Garrett Morris. 107-118 [doi]
- Foreign inline code: systems demonstrationManuel M. T. Chakravarty. 119-120 [doi]
- Indentation-sensitive parsing for ParsecMichael D. Adams, Ömer S. Agacan. 121-132 [doi]
- Reflection without remorse: revealing a hidden sequence to speed up monadic reflectionAtze van der Ploeg, Oleg Kiselyov. 133-144 [doi]