Personal tools

HaskellSymposium/2012

From HaskellWiki

(Difference between revisions)
Jump to: navigation, search
(Haskell Symposium 2012)
(Added Category:Community)
 
(4 intermediate revisions by one user not shown)
Line 1: Line 1:
= Accepted Papers =
+
= 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
+
Safe Haskell<br>
(David Terei, Simon Marlow, Simon Peyton Jones, and David Mazières)
+
<i>David Terei, Simon Marlow, Simon Peyton Jones, and David Mazières</i>
   
xmonad in Coq: Programming a window manager in a proof assistant — Experience Report
+
[http://www.staff.science.uu.nl/~swier004/Publications/XmonadInCoq.pdf xmonad in Coq: Programming a window manager in a proof assistant — Experience Report]<br>
(Wouter Swierstra)
+
<i>Wouter Swierstra</i>
   
Vectorisation Avoidance (Gabriele Keller, Manuel Chakravarty, Ben Lippmeier, Roman Leshchinskiy, and Simon Peyton Jones)
+
[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>
   
Everybody Needs a Syntax Extension Sometimes (Sebastian Erdweg, Felix Rieger, Tillmann Rendel, and Klaus Ostermann)
+
[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>
   
Introducing the HERMIT Equational Reasoning Framework (Andrew Farmer, Andy Gill, Ed Komp, and Neil Sculthorpe)
+
[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>
   
Guiding Parallel Array Fusion with Indexed Types (Ben Lippmeier, Manuel Chakravarty, Gabriele Keller, and Simon Peyton Jones)
+
[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 (Koen Claessen)
+
Shrinking and Showing Functions — Functional Pearl<br>
Checking Type Class Laws (Johan Jeuring, Patrik Jansson, and Cláudio Amaral)
+
<i>Koen Claessen</i>
   
Feat: Functional Enumeration of Algebraic Types (Jonas Duregård, Patrik Jansson, and Meng Wang)
+
Checking Type Class Laws<br>
  +
<i>Johan Jeuring, Patrik Jansson, and Cláudio Amaral</i>
   
Monoids: Theme and Variations — Functional Pearl (Brent Yorgey)
+
[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>
   
Template Your Boilerplate: Using Template Haskell for Efficient Generic Programming (Michael D. Adams and Thomas M. DuBuisson)
+
[http://www.cis.upenn.edu/~byorgey/pub/monoid-pearl.pdf Monoids: Theme and Variations Functional Pearl]<br>
  +
<i>Brent Yorgey</i>
   
Dependently typed programming with singletons (Richard A. Eisenberg and Stephanie Weirich)
+
[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>
   
Wormholes: Introducing effects to FRP (Daniel Winograd-Cort and Paul Hudak)
+
[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>
   
Surveyor: A DSEL for Representing and Analyzing Strongly Typed Surveys (Wyatt Allen and Martin Erwig)
+
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]]

Latest revision as of 13:42, 17 December 2012

[edit] Draft papers

These are unofficial links to DRAFT papers available on the authors' websites. These are NOT the final versions that will appear in the proceedings.

Safe Haskell
David Terei, Simon Marlow, Simon Peyton Jones, and David Mazières

xmonad in Coq: Programming a window manager in a proof assistant — Experience Report
Wouter Swierstra

Vectorisation Avoidance
Gabriele Keller, Manuel Chakravarty, Ben Lippmeier, Roman Leshchinskiy, and Simon Peyton Jones

Everybody Needs a Syntax Extension Sometimes
Sebastian Erdweg, Felix Rieger, Tillmann Rendel, and Klaus Ostermann

Introducing the HERMIT Equational Reasoning Framework
Andrew Farmer, Andy Gill, Ed Komp, and Neil Sculthorpe

Guiding Parallel Array Fusion with Indexed Types
Ben Lippmeier, Manuel Chakravarty, Gabriele Keller, and Simon Peyton Jones

Shrinking and Showing Functions — Functional Pearl
Koen Claessen

Checking Type Class Laws
Johan Jeuring, Patrik Jansson, and Cláudio Amaral

Feat: Functional Enumeration of Algebraic Types
Jonas Duregård, Patrik Jansson, and Meng Wang

Monoids: Theme and Variations — Functional Pearl
Brent Yorgey

Template Your Boilerplate: Using Template Haskell for Efficient Generic Programming
Michael D. Adams and Thomas M. DuBuisson

Dependently typed programming with singletons
Richard A. Eisenberg and Stephanie Weirich

Wormholes: Introducing effects to FRP
Daniel Winograd-Cort and Paul Hudak

Surveyor: A DSEL for Representing and Analyzing Strongly Typed Surveys
Wyatt Allen and Martin Erwig