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

@proceedings{Haskell-2014,
	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)

Haskell-2014-WuSH

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.

Haskell-2014-StefanLRM

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.

Haskell-2014-Chakravarty

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.