Stop the war!
Остановите войну!
for scientists:
default search action
Haskell 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-12 - Dominic 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-30 - Takayuki 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-51 - Lee 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-76 - Kiwamu 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-89 - Amit A. Levy, David Terei, Deian Stefan, David Mazières:
Demo proposal: making web applications -XSafe. 91 - Deian 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-106 - J. Garrett Morris:
A simple semantics for Haskell overloading. 107-118
Parsing
- Manuel M. T. Chakravarty:
Foreign inline code: systems demonstration. 119-120 - Michael 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
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.