Iavor S. Diatchki
Proceedings of the 10th International Symposium on Haskell
Haskell, 2017.

@proceedings{Haskell-2017,
	doi           = "10.1145/3122955",
	editor        = "Iavor S. Diatchki",
	isbn          = "978-1-4503-5182-9",
	publisher     = "{ACM}",
	title         = "{Proceedings of the 10th International Symposium on Haskell}",
	year          = 2017,
}

Contents (20 items)

Haskell-2017-Remy #automation #named #parametricity #reuse

Ornaments: exploiting parametricity for safer, more automated code refactorization and code reuse (invited talk) (DR), p. 1.

Haskell-2017-Mokhov #algebra #functional #graph

Algebraic graphs with class (functional pearl) (AM), pp. 2–13.

Haskell-2017-BlazevicL

Packrats parse in packs (MB, JL), pp. 14–25.

Haskell-2017-LampropoulosSF #functional #random

Ode on a random urn (functional pearl) (LL, ASZ, KF), pp. 26–37.

Haskell-2017-AlgehedCJS #lightweight #named

QuickSpec: a lightweight theory exploration tool for programmers (system demonstration) (MA, KC, MJ, NS), pp. 38–39.

Haskell-2017-BraquehaisR #black box #equation #named #reasoning

Speculate: discovering conditional equations and inequalities about black-box functions by reasoning from test results (RB, CR), pp. 40–51.

Haskell-2017-WiegleyD #coq #haskell #performance #using

Using Coq to write fast and correct Haskell (JW, BD), pp. 52–62.

Haskell-2017-VazouLP #coq #haskell #proving #string #verification

A tale of two provers: verifying monoidal string matching in liquid Haskell and Coq (NV, LL, JP), pp. 63–74.

Haskell-2017-Ekblad #distributed #web

A meta-EDSL for distributed web applications (AE), pp. 75–85.

Haskell-2017-DawsonGG #composition #monad #network

Composable network stacks and remote monads (JD, MG, AG), pp. 86–97.

Haskell-2017-Quick #algorithm #haskell #music

Algorithmic music in Haskell (invited talk) (DQ), p. 98.

Haskell-2017-SzamozvancevG #case study #experience #music

Well-typed music does not sound wrong (experience report) (DS, MBG), pp. 99–104.

Haskell-2017-Perez

Back to the future: time travel in FRP (IP0), pp. 105–116.

Haskell-2017-PaykinZ #monad

The linearity Monad (JP, SZ), pp. 117–132.

Haskell-2017-KarachaliasS #dependence #exclamation #functional

Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies! (GK, TS), pp. 133–147.

Haskell-2017-BottuKSOW #constraints #quantifier

Quantified class constraints (GJB, GK, TS, BCdSO, PW), pp. 148–161.

Haskell-2017-AronssonS #co-evolution #design #hardware #haskell

Hardware software co-design in Haskell (MA, MS), pp. 162–173.

Haskell-2017-Clifton-Everest #array #streaming

Streaming irregular arrays (RCE, TLM, MMTC, GK), pp. 174–185.

Haskell-2017-YatesS #performance #transaction

Improving STM performance with transactional structs (RY, MLS), pp. 186–196.

Haskell-2017-ChenCN #adaptation #concurrent #data type #haskell #implementation

Adaptive lock-free data structures in Haskell: a general method for concurrent implementation swapping (CHC, VC, RRN), pp. 197–211.