Jeremy Gibbons
Proceedings of the Third International Symposium on Haskell
Haskell, 2010.

@proceedings{Haskell-2010,
	editor        = "Jeremy Gibbons",
	isbn          = "978-1-4503-0252-4",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Third International Symposium on Haskell}",
	year          = 2010,
}

Contents (14 items)

Haskell-2010-RendelO #parsing #pretty-printing #syntax

Invertible syntax descriptions: unifying parsing and pretty printing (TR, KO), pp. 1–12.

Haskell-2010-Straka #haskell #performance

The performance of the Haskell containers package (MS), pp. 13–24.

Haskell-2010-PirogB #coq

A systematic derivation of the STG machine verified in Coq (MP, DB), pp. 25–36.

Haskell-2010-MagalhaesDJL #haskell

A generic deriving mechanism for Haskell (JPM, AD, JJ, AL), pp. 37–48.

Haskell-2010-GroningenNAKP #compilation #haskell

Exchanging sources between clean and Haskell: a double-edged front end for the clean compiler (JHGvG, TvN, PA, PWMK, RP), pp. 49–60.

Haskell-2010-Morris #case study #design #experience #using

Experience report: using hackage to inform language design (JGM), pp. 61–66.

Haskell-2010-MainlandM #gpu #haskell #named

Nikola: embedding compiled GPU functions in Haskell (GM, GM), pp. 67–78.

Haskell-2010-LaunchburyE #concurrent #distributed #haskell

Concurrent orchestration in Haskell (JL, TE), pp. 79–90.

Haskell-2010-MarlowMLAT #haskell #parallel

Seq no more: better strategies for parallel Haskell (SM, PM0, HWL, MA, PWT), pp. 91–102.

Haskell-2010-OSullivanT #haskell #scalability

Scalable i/o event handling for GHC (BO, JT), pp. 103–108.

Haskell-2010-TereiC #haskell

An llVM backend for GHC (DAT, MMTC), pp. 109–120.

Haskell-2010-RamseyDJ #analysis #composition #data flow #library #named #reuse

Hoopl: a modular, reusable library for dataflow analysis and transformation (NR, JD, SLPJ), pp. 121–134.

Haskell-2010-BolingbrokeJ #evaluation #supercompilation

Supercompilation by evaluation (MCB, SLPJ), pp. 135–146.

Haskell-2010-Yorgey #exclamation

Species and functors and types, oh my! (BAY), pp. 147–158.