Stephanie Weirich
Proceedings of the Second International Symposium on Haskell
Haskell, 2009.

@proceedings{Haskell-2009,
	editor        = "Stephanie Weirich",
	isbn          = "978-1-60558-508-6",
	publisher     = "{ACM}",
	title         = "{Proceedings of the Second International Symposium on Haskell}",
	year          = 2009,
}

Contents (14 items)

Haskell-2009-BaaijKKGM #hardware #haskell #tool support

Tool DemonstrationCLasHFrom Haskell to Hardware (CB, MK, JK, MG, BM).

Haskell-2009-Weirich #haskell

Haskell Symposium Program Chair's Report (SW).

Haskell-2009-BolingbrokeJ

Types are calling conventions (MCB, SLPJ), pp. 1–12.

Haskell-2009-MitchellR

Losing functions without gaining data: another look at defunctionalisation (NM, CR), pp. 13–24.

Haskell-2009-Elliott #functional #programming

Push-pull functional reactive programming (CME), pp. 25–36.

Haskell-2009-AtkeyLY #domain-specific language

Unembedding domain-specific languages (RA, SL, JY), pp. 37–48.

Haskell-2009-Bernardy #functional #incremental #lazy evaluation #parsing

Lazy functional incremental parsing (JPB), pp. 49–60.

Haskell-2009-PikeBG #embedded #experience #haskell #protocol #realtime

Roll your own test bed for embedded real-time protocols: a haskell experience (LP, GMB, AG), pp. 61–68.

Haskell-2009-BorgstromBG #composition #haskell

A compositional theory for STM Haskell (JB, KB, ADG), pp. 69–80.

Haskell-2009-JonesMS #haskell #parallel #performance

Parallel performance tuning for Haskell (DJJ, SM, SS), pp. 81–92.

Haskell-2009-DijkstraFS #architecture #compilation #haskell

The architecture of the Utrecht Haskell compiler (AD, JF, SDS), pp. 93–104.

Haskell-2009-BrownS #alloy #haskell #named #performance

Alloy: fast generic transformations for Haskell (NCCB, ATS), pp. 105–116.

Haskell-2009-Gill #haskell #type safety

Type-safe observable sharing in Haskell (AG), pp. 117–128.

Haskell-2009-AllwoodJE #haskell #stack

Finding the needle: stack traces for GHC (TORA, SLPJ, SE), pp. 129–140.