Koen Claessen
Proceedings of the Fourth International Symposium on Haskell
Haskell, 2011.
@proceedings{Haskell-2011,
editor = "Koen Claessen",
isbn = "978-1-4503-0860-1",
publisher = "{ACM}",
title = "{Proceedings of the Fourth International Symposium on Haskell}",
year = 2011,
}
Contents (11 items)
- Haskell-2011-PetricekMS #monad #pattern matching
- Extending monads with pattern matching (TP0, AM, DS), pp. 1–12.
- Haskell-2011-GiorgidzeGSW #monad
- Bringing back monad comprehensions (GG, TG, NS, JW), pp. 13–22.
- Haskell-2011-BolingbrokeJV #combinator #termination
- Termination combinators forever (MCB, SLPJ, DV), pp. 23–34.
- Haskell-2011-WestbrookFB #encoding #functional #haskell #higher-order #library #programming language
- Hobbits for Haskell: a library for higher-order encodings in functional programming languages (EMW, NF, PB), pp. 35–46.
- Haskell-2011-Harper #library
- A library writer's guide to shortcut fusion (TH), pp. 47–58.
- Haskell-2011-LippmeierK #haskell #parallel #performance
- Efficient parallel stencil convolution in Haskell (BL, GK), pp. 59–70.
- Haskell-2011-MarlowNJ #monad #parallel
- A monad for deterministic parallelism (SM, RN, SLPJ), pp. 71–82.
- Haskell-2011-LeijenFB #concurrent #functional
- Prettier concurrency: purely functional concurrent revisions (DL, MF, SB), pp. 83–94.
- Haskell-2011-StefanRMM #data flow #flexibility #haskell #information management
- Flexible dynamic information flow control in Haskell (DS, AR, JCM, DM), pp. 95–106.
- Haskell-2011-DuregardJ #embedded #generative #parsing
- Embedded parser generators (JD, PJ), pp. 107–117.
- Haskell-2011-EpsteinBJ #haskell #in the cloud #towards
- Towards Haskell in the cloud (JE, APB, SLPJ), pp. 118–129.