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

@proceedings{Haskell-2012,
	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.

Haskell-2012-KellerCLLJ

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.