## 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.