![](https://dblp.dagstuhl.de/img/logo.ua.320x120.png)
![](https://dblp.dagstuhl.de/img/dropdown.dark.16x16.png)
![](https://dblp.dagstuhl.de/img/peace.dark.16x16.png)
Остановите войну!
for scientists:
![search dblp search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
![search dblp](https://dblp.dagstuhl.de/img/search.dark.16x16.png)
default search action
Haskell 2012: Copenhagen, Denmark
- Janis Voigtländer:
Proceedings of the 5th ACM SIGPLAN Symposium on Haskell, Haskell 2012, Copenhagen, Denmark, 13 September 2012. ACM 2012, ISBN 978-1-4503-1574-6
Session 1
- Andrew Farmer, Andy Gill, Ed Komp, Neil Sculthorpe:
The HERMIT in the machine: a plugin for the interactive transformation of GHC core language programs. 1-12 - Michael D. Adams, Thomas DuBuisson:
Template your boilerplate: using template haskell for efficient generic programming. 13-24
Session 2
- Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller
, Simon L. Peyton Jones:
Guiding parallel array fusion with indexed types. 25-36 - Gabriele Keller
, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones:
Vectorisation avoidance. 37-48
Session 3
- Johan Jeuring, Patrik Jansson
, Cláudio Amaral:
Testing type class laws. 49-60 - Jonas Duregård, Patrik Jansson
, Meng Wang
:
Feat: functional enumeration of algebraic types. 61-72 - Koen Claessen:
Shrinking and showing functions: (functional pearl). 73-80
Session 4
- Wyatt Allen, Martin Erwig:
Surveyor: a DSEL for representing and analyzing strongly typed surveys. 81-90 - Daniel Winograd-Cort, Paul Hudak:
Wormholes: introducing effects to FRP. 91-104 - Brent A. Yorgey:
Monoids: theme and variations (functional pearl). 105-116
Session 5
- Richard A. Eisenberg
, Stephanie Weirich
:
Dependently typed programming with singletons. 117-130 - Wouter Swierstra:
xmonad in Coq (experience report): programming a window manager in a proof assistant. 131-136 - David Terei, Simon Marlow, Simon L. Peyton Jones, David Mazières:
Safe haskell. 137-148
Session 6
- Sebastian Erdweg, Felix Rieger, Tillmann Rendel, Klaus Ostermann:
Layout-sensitive language extensibility with SugarHaskell. 149-160
![](https://dblp.dagstuhl.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.