Google
Google Scholar
MS Academic
CiteSeerX
CORE
Semantic ScholarHaskell 2014: Gothenburg, Sweden
Wouter Swierstra:
Proceedings of the 2014 ACM SIGPLAN symposium on Haskell, Gothenburg, Sweden, September 4-5, 2014. ACM 2014, ISBN 978-1-4503-3041-1
Effects
Nicolas Wu, Tom Schrijvers, Ralf Hinze:
Effect handlers in scope. 1-12Dominic A. Orchard, Tomas Petricek:
Embedding effect systems in Haskell. 13-24
Education and experience
Jasmin Christian Blanchette, Lars Hupel, Tobias Nipkow, Lars Noschinski, Dmitriy Traytel:
Experience report: the next 1100 Haskell programmers. 25-30Takayuki Muranushi, Richard A. Eisenberg:
Experience report: type-checking polymorphic units for astrophysics research in Haskell. 31-38
Correctness
Niki Vazou, Eric L. Seidel, Ranjit Jhala:
LiquidHaskell: experience with refinement types in the real world. 39-51Lee Pike:
SmartCheck: automatic and efficient counterexample reduction and generalization. 53-64
Concurrency
Patrick Maier, Robert J. Stewart, Phil Trinder:
The HdpH DSLs for scalable reliable computation. 65-76Kiwamu Okabe, Takayuki Muranushi:
Systems demonstration: writing NetBSD sound drivers in Haskell. 77-78
Webprogramming
Anton Ekblad, Koen Claessen:
A seamless, client-centric programming model for type safe web applications. 79-89Amit A. Levy, David Terei, Deian Stefan, David Mazières:
Demo proposal: making web applications -XSafe. 91Deian Stefan, Amit Levy, Alejandro Russo, David Mazières:
Building secure systems with LIO (demo). 93-94
Types
Richard A. Eisenberg, Jan Stolarek:
Promoting functions to type families in Haskell. 95-106J. Garrett Morris:
A simple semantics for Haskell overloading. 107-118
Parsing
Manuel M. T. Chakravarty:
Foreign inline code: systems demonstration. 119-120Michael D. Adams, Ömer S. Agacan:
Indentation-sensitive parsing for Parsec. 121-132
Reflection
Atze van der Ploeg, Oleg Kiselyov:
Reflection without remorse: revealing a hidden sequence to speed up monadic reflection. 133-144
last updated on 2019-08-22 22:42 CEST by the dblp team
data released under the ODC-BY 1.0 license
see also: Terms of Use | Privacy Policy | Imprint
the dblp computer science bibliography is funded by:
