Chung-chieh Shan
Proceedings of the Sixth International Symposium on Haskell
Haskell, 2013.
@proceedings{Haskell-2013,
editor = "Chung-chieh Shan",
isbn = "978-1-4503-2383-3",
publisher = "{ACM}",
title = "{Proceedings of the Sixth International Symposium on Haskell}",
year = 2013,
}
Contents (13 items)
- Haskell-2013-AnknerS #approach #haskell #performance #programming
- An EDSL approach to high performance Haskell programming (JA, JS), pp. 1–12.
- Haskell-2013-BernardyP #for free #polymorphism
- Names for free: polymorphic views of names and binders (JPB, NP), pp. 13–24.
- Haskell-2013-BirdGMVS #comprehension #traversal
- Understanding idiomatic traversals backwards and forwards (RSB, JG, SM, JV, TS), pp. 25–36.
- Haskell-2013-BlaEevic #haskell #monad #string
- Adding structure to monoids: thus hopefully ending Haskell's string type confusion (MB), pp. 37–46.
- Haskell-2013-ClaessenP #encryption #generative #pseudo #using
- Splittable pseudorandom number generators using cryptographic hashing (KC, MHP), pp. 47–58.
- Haskell-2013-KiselyovSS #monad
- Extensible effects: an alternative to monad transformers (OK, AS, CS), pp. 59–70.
- Haskell-2013-Leslie-Hurd #maintenance
- Maintaining verified software (JLH), pp. 71–80.
- Haskell-2013-LindleyM #haskell #named #programming
- Hasochism: the pleasure and pain of dependently typed haskell programming (SL, CM), pp. 81–92.
- Haskell-2013-LippmeierCKR #data flow #haskell
- Data flow fusion with series expressions in Haskell (BL, MMTC, GK, AR), pp. 93–104.
- Haskell-2013-LiuGPA #compilation #haskell #research
- The Intel labs Haskell research compiler (HL, NG, LP, TAA), pp. 105–116.
- Haskell-2013-Ploeg #functional #monad #programming
- Monadic functional reactive programming (AvdP), pp. 117–128.
- Haskell-2013-VoellmyWHY #haskell #manycore #named
- Mio: a high-performance multicore io manager for GHC (AV, JW, PH, KY), pp. 129–140.
- Haskell-2013-WortmannD #haskell #question #what
- Causality of optimized Haskell: what is burning our cycles? (PMW, DJD), pp. 141–152.
