Difference between revisions of "HaskellSymposium/2012"
(Added Category:Community) |
|||
| (4 intermediate revisions by one other user not shown) | |||
| Line 1: | Line 1: | ||
| − | = |
+ | = 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> |
| − | + | <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> |
| − | + | <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> |
|
| − | Everybody Needs a Syntax Extension Sometimes |
+ | [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 |
+ | [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 |
+ | [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 |
+ | Shrinking and Showing Functions — Functional Pearl<br> |
| + | <i>Koen Claessen</i> |
||
| ⚫ | |||
| + | Checking Type Class Laws<br> |
||
| ⚫ | |||
| ⚫ | |||
| + | [http://wiki.portal.chalmers.se/cse/pmwiki.php/FP/Testing-Feat Feat: Functional Enumeration of Algebraic Types]<br> |
||
| ⚫ | |||
| ⚫ | |||
| ⚫ | |||
| ⚫ | |||
| + | <i>Brent Yorgey</i> |
||
| ⚫ | |||
| ⚫ | |||
| + | <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>Daniel Winograd-Cort and Paul Hudak</i> |
||
| + | |||
| ⚫ | |||
| + | <i>Wyatt Allen and Martin Erwig</i> |
||
| + | |||
| + | |||
| + | [[Category:Community]] |
||
Latest revision as of 13:42, 17 December 2012
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