Editing HaskellSymposium/2012 (section)

= Draft papers =
<b>These are unofficial links to DRAFT papers available on the authors' websites. These are NOT the final versions that will appear in the proceedings.</b>

Safe Haskell<br>
<i>David Terei, Simon Marlow, Simon Peyton Jones, and David Mazières</i>

[http://www.staff.science.uu.nl/~swier004/Publications/XmonadInCoq.pdf xmonad in Coq: Programming a window manager in a proof assistant — Experience Report]<br>
<i>Wouter Swierstra</i>

[http://www.cse.unsw.edu.au/~benl/papers/avoidance/avoidance-Haskell2012-sub.pdf Vectorisation Avoidance]<br>
<i>Gabriele Keller, Manuel Chakravarty, Ben Lippmeier, Roman Leshchinskiy, and Simon Peyton Jones</i>

[http://www.informatik.uni-marburg.de/~seba/publications/sugarhaskell.pdf Everybody Needs a Syntax Extension Sometimes]<br>
<i>Sebastian Erdweg, Felix Rieger, Tillmann Rendel, and Klaus Ostermann</i>

[http://ittc.ku.edu/csdl/fpg/sites/default/files/HERMIT-Submitted.pdf Introducing the HERMIT Equational Reasoning Framework]<br>
<i>Andrew Farmer, Andy Gill, Ed Komp, and Neil Sculthorpe</i>

[http://www.cse.unsw.edu.au/~benl/papers/guiding/guiding-Haskell2012-sub.pdf Guiding Parallel Array Fusion with Indexed Types]<br>
<i>Ben Lippmeier, Manuel Chakravarty, Gabriele Keller, and Simon Peyton Jones</i>

Shrinking and Showing Functions — Functional Pearl<br>
<i>Koen Claessen</i>

Checking Type Class Laws<br>
<i>Johan Jeuring, Patrik Jansson, and Cláudio Amaral</i>

[http://wiki.portal.chalmers.se/cse/pmwiki.php/FP/Testing-Feat Feat: Functional Enumeration of Algebraic Types]<br>
<i>Jonas Duregård, Patrik Jansson, and Meng Wang</i>

[http://www.cis.upenn.edu/~byorgey/pub/monoid-pearl.pdf Monoids: Theme and Variations — Functional Pearl]<br>
<i>Brent Yorgey</i>

[http://web.cecs.pdx.edu/~adamsmic/projects/tyb/TYB.pdf Template Your Boilerplate: Using Template Haskell for Efficient Generic Programming]<br>
<i>Michael D. Adams and Thomas M. DuBuisson</i>

[http://www.cis.upenn.edu/~eir/papers/2012/singletons/paper.pdf Dependently typed programming with singletons]<br>
<i>Richard A. Eisenberg and Stephanie Weirich</i>

Wormholes: Introducing effects to FRP<br>
<i>Daniel Winograd-Cort and Paul Hudak</i>

Surveyor: A DSEL for Representing and Analyzing Strongly Typed Surveys<br>
<i>Wyatt Allen and Martin Erwig</i>


[[Category:Community]]