Proceedings of the Seventh International Symposium on Haskell
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Wouter Swierstra
Proceedings of the Seventh International Symposium on Haskell
Haskell, 2014.

Full names Links ISxN
	editor        = "Wouter Swierstra",
	isbn          = "978-1-4503-3041-1",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Seventh International Symposium on Haskell}",
	year          = 2014,

Contents (16 items)

Effect handlers in scope (NW, TS, RH), pp. 1–12.
Haskell-2014-OrchardP #haskell
Embedding effect systems in Haskell (DAO, TP0), pp. 13–24.
Haskell-2014-BlanchetteHNNT #case study #experience #haskell
Experience report: the next 1100 Haskell programmers (JCB, LH, TN, LN, DT), pp. 25–30.
Haskell-2014-MuranushiE #case study #experience #haskell #polymorphism #research
Experience report: type-checking polymorphic units for astrophysics research in Haskell (TM, RAE), pp. 31–38.
Haskell-2014-VazouSJ #experience #haskell #named #refinement
LiquidHaskell: experience with refinement types in the real world (NV, ELS, RJ), pp. 39–51.
Haskell-2014-Pike #automation #named #performance #reduction
SmartCheck: automatic and efficient counterexample reduction and generalization (LP), pp. 53–64.
Haskell-2014-MaierST #domain-specific language #reliability #scalability
The HdpH DSLs for scalable reliable computation (PM0, RJS, PT), pp. 65–76.
Haskell-2014-OkabeM #haskell
Systems demonstration: writing NetBSD sound drivers in Haskell (KO, TM), pp. 77–78.
Haskell-2014-EkbladC #programming #type safety #web
A seamless, client-centric programming model for type safe web applications (AE, KC), pp. 79–89.
Haskell-2014-LevyTSM #web
Demo proposal: making web applications -XSafe (AAL, DT, DS, DM), p. 91.
Building secure systems with LIO (demo) (DS, AL, AR, DM), pp. 93–94.
Haskell-2014-EisenbergS #haskell #product line
Promoting functions to type families in Haskell (RAE, JS), pp. 95–106.
Haskell-2014-Morris #haskell #semantics
A simple semantics for Haskell overloading (JGM), pp. 107–118.
Foreign inline code: systems demonstration (MMTC), pp. 119–120.
Haskell-2014-AdamsA #parsing
Indentation-sensitive parsing for Parsec (MDA0, ÖSA), pp. 121–132.
Haskell-2014-PloegK #monad #sequence
Reflection without remorse: revealing a hidden sequence to speed up monadic reflection (AvdP, OK), pp. 133–144.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.