default search action

combined dblp search
author search
venue search
publication search

ask others

Haskell 2012: Copenhagen, Denmark

> Home > Conferences and Workshops > Haskell

Refine list

refinements active!

zoomed in on ?? of ?? records

view refined list in

export refined list as

showing all ?? records

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/2012
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/2012
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

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/FarmerGKS12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/FarmerGKS12
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
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/AdamsD12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/AdamsD12
Michael D. Adams, Thomas DuBuisson:
Template your boilerplate: using template haskell for efficient generic programming. 13-24

Session 2

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/LippmeierCKJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/LippmeierCKJ12
Ben Lippmeier, Manuel M. T. Chakravarty, Gabriele Keller, Simon L. Peyton Jones:
Guiding parallel array fusion with indexed types. 25-36
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/KellerCLLJ12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/KellerCLLJ12
Gabriele Keller, Manuel M. T. Chakravarty, Roman Leshchinskiy, Ben Lippmeier, Simon L. Peyton Jones:
Vectorisation avoidance. 37-48

Session 3

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/JeuringJA12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/JeuringJA12
Johan Jeuring, Patrik Jansson, Cláudio Amaral:
Testing type class laws. 49-60
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/DuregardJW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/DuregardJW12
Jonas Duregård, Patrik Jansson, Meng Wang:
Feat: functional enumeration of algebraic types. 61-72
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Claessen12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Claessen12
Koen Claessen:
Shrinking and showing functions: (functional pearl). 73-80

Session 4

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/AllenE12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/AllenE12
Wyatt Allen, Martin Erwig:
Surveyor: a DSEL for representing and analyzing strongly typed surveys. 81-90
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Winograd-CortH12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Winograd-CortH12
Daniel Winograd-Cort, Paul Hudak:
Wormholes: introducing effects to FRP. 91-104
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Yorgey12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Yorgey12
Brent A. Yorgey:
Monoids: theme and variations (functional pearl). 105-116

Session 5

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/EisenbergW12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/EisenbergW12
Richard A. Eisenberg, Stephanie Weirich:
Dependently typed programming with singletons. 117-130
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/Swierstra12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/Swierstra12
Wouter Swierstra:
xmonad in Coq (experience report): programming a window manager in a proof assistant. 131-136
- view
  authority control:
- export record
  dblp key:
  - conf/haskell/TereiMJM12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/TereiMJM12
David Terei, Simon Marlow, Simon L. Peyton Jones, David Mazières:
Safe haskell. 137-148

Session 6

- view
  authority control:
- export record
  dblp key:
  - conf/haskell/ErdwegRRO12
- ask others
- share record
  persistent URL:
  - https://dblp.org/rec/conf/haskell/ErdwegRRO12
Sebastian Erdweg, Felix Rieger, Tillmann Rendel, Klaus Ostermann:
Layout-sensitive language extensibility with SugarHaskell. 149-160

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.