![](https://dblp.uni-trier.de/img/logo.ua.320x120.png)
![](https://dblp.uni-trier.de/img/dropdown.dark.16x16.png)
![](https://dblp.uni-trier.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
![search dblp](https://dblp.uni-trier.de/img/search.dark.16x16.png)
default search action
Haskell 2008: Victoria, BC, Canada
- Andy Gill:
Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008. ACM 2008, ISBN 978-1-60558-064-7
Session 1
- Oleg Kiselyov, Chung-chieh Shan:
Lightweight monadic regions. 1-12 - Alejandro Russo
, Koen Claessen, John Hughes:
A library for light-weight information-flow security in haskell. 13-24 - Riccardo Pucella, Jesse A. Tov:
Haskell session types with (almost) no class. 25-36
Session 2
- Colin Runciman, Matthew Naylor, Fredrik Lindblad:
Smallcheck and lazy smallcheck: automatic exhaustive testing for small values. 37-48 - Neil Mitchell, Colin Runciman:
Not all patterns, but enough: an automatic verifier for partial but sufficient pattern matching. 49-60 - Jean-Philippe Bernardy:
Yi: an editor in haskell for haskell. 61-62
Session 3
- Marcos Viera, S. Doaitse Swierstra, Eelco Lempsink:
Haskell, do you read me?: constructing and composing efficient top-down parsers at runtime. 63-74 - Ki Yung Ahn
, Tim Sheard:
Shared subtypes: subtyping recursive parametrized algebraic data types. 75-86 - Mark P. Jones, Iavor S. Diatchki:
Language and program design for functional dependencies. 87-98
Session 4
- Pericles S. Kariotis, Adam M. Procter, William L. Harrison:
Making monads first-class with template haskell. 99-110 - Alexey Rodriguez, Johan Jeuring, Patrik Jansson
, Alex Gerdes, Oleg Kiselyov, Bruno C. d. S. Oliveira:
Comparing libraries for generic programming in haskell. 111-122 - Tristan Oliver Richard Allwood, Susan Eisenbach:
Clase: cursor library for a structured editor. 123-124 - Duncan Coutts, Isaac Potoczny-Jones, Don Stewart:
Haskell: batteries included. 125-126
![](https://dblp.uni-trier.de/img/cog.dark.24x24.png)
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.