Volume 47; Issue 12

ACM SIGPLAN Notices

Volume 47; Issue 12
1

Safe haskell

Terei, David, Marlow, Simon, Peyton Jones, Simon, Mazières, David
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 563 KB
english, 2013
2

Guiding parallel array fusion with indexed types

Lippmeier, Ben, Chakravarty, Manuel, Keller, Gabriele, Peyton Jones, Simon
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 993 KB
english, 2013
3

The HERMIT in the machine

Farmer, Andrew, Gill, Andy, Komp, Ed, Sculthorpe, Neil
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 732 KB
english, 2013
4

Template your boilerplate

Adams, Michael D., DuBuisson, Thomas M.
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 460 KB
english, 2013
5

Testing type class laws

Jeuring, Johan, Jansson, Patrik, Amaral, Cláudio
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 504 KB
english, 2013
6

Surveyor

Allen, Wyatt, Erwig, Martin
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 451 KB
english, 2013
7

Wormholes

Winograd-Cort, Daniel, Hudak, Paul
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 477 KB
english, 2013
8

Monoids

Yorgey, Brent A.
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 556 KB
english, 2013
9

Layout-sensitive language extensibility with SugarHaskell

Erdweg, Sebastian, Rieger, Felix, Rendel, Tillmann, Ostermann, Klaus
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 583 KB
english, 2013
10

xmonad in Coq (experience report)

Swierstra, Wouter
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 469 KB
english, 2013
11

Shrinking and showing functions

Claessen, Koen
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 467 KB
english, 2013
12

Dependently typed programming with singletons

Eisenberg, Richard A., Weirich, Stephanie
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 625 KB
english, 2013
13

Vectorisation avoidance

Keller, Gabriele, Chakravarty, Manuel M.T., Leshchinskiy, Roman, Lippmeier, Ben, Peyton Jones, Simon
Journal:
ACM SIGPLAN Notices
Year:
2013
Language:
english
File:
PDF, 641 KB
english, 2013