Proceedings of the Fifth 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

Janis Voigtländer
Proceedings of the Fifth International Symposium on Haskell
Haskell, 2012.

Full names Links ISxN
	editor        = "Janis Voigtländer",
	isbn          = "978-1-4503-1574-6",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Fifth International Symposium on Haskell}",
	year          = 2012,

Contents (14 items)

Haskell-2012-FarmerGKS #haskell #interactive #plugin #source code
The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs (AF, AG, EK, NS), pp. 1–12.
Haskell-2012-AdamsD #haskell #performance #programming #using
Template your boilerplate: using template haskell for efficient generic programming (MDA0, TD), pp. 13–24.
Haskell-2012-LippmeierCKJ #array #parallel
Guiding parallel array fusion with indexed types (BL, MMTC, GK, SLPJ), pp. 25–36.
Vectorisation avoidance (GK, MMTC, RL, BL, SLPJ), pp. 37–48.
Haskell-2012-JeuringJA #testing
Testing type class laws (JJ, PJ, CA), pp. 49–60.
Haskell-2012-DuregardJW #algebra #functional #named
Feat: functional enumeration of algebraic types (JD, PJ, MW0), pp. 61–72.
Haskell-2012-Claessen #functional
Shrinking and showing functions: (functional pearl) (KC), pp. 73–80.
Haskell-2012-AllenE #named #representation
Surveyor: a DSEL for representing and analyzing strongly typed surveys (WA, ME), pp. 81–90.
Haskell-2012-Winograd-CortH #named
Wormholes: introducing effects to FRP (DWC, PH), pp. 91–104.
Haskell-2012-Yorgey #functional #monad #named
Monoids: theme and variations (functional pearl) (BAY), pp. 105–116.
Haskell-2012-EisenbergW #programming
Dependently typed programming with singletons (RAE, SW), pp. 117–130.
Haskell-2012-Swierstra #case study #coq #experience #programming #proving
xmonad in Coq (experience report): programming a window manager in a proof assistant (WS), pp. 131–136.
Haskell-2012-TereiMJM #haskell
Safe haskell (DT, SM, SLPJ, DM), pp. 137–148.
Haskell-2012-ErdwegRRO #haskell
Layout-sensitive language extensibility with SugarHaskell (SE, FR, TR, KO), pp. 149–160.

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.