Haskell’10 Proceedings of the 2010 ACM SIGPLAN Haskell Symposium

frontmatter.pdf......Page 1
p1-rendel......Page 6
p13-straka......Page 18
p25-pirog......Page 30
Introduction......Page 42
Meta-information......Page 43
Example representations......Page 44
Default definition......Page 46
Generic empty......Page 47
Generic show......Page 48
Meta-information......Page 49
Pre-processors......Page 51
Type-indexed datatypes......Page 52
Conclusion......Page 53
p49-vangroningen......Page 54
p61-morris......Page 66
Introduction......Page 72
Embedding Nikola......Page 73
let-sharing......Page 75
-sharing......Page 76
Translating Nikola to CUDA......Page 77
Size inference......Page 78
Generating GPU binary code......Page 79
Evaluation......Page 80
Summary and Future Work......Page 81
p79-launchbury......Page 83
Conclusion......Page 95
The GHC concurrent runtime......Page 107
Interface to the I/O event manager......Page 108
War stories, lessons learned, and scars earned......Page 109
Performance of event notification......Page 110
Lower overhead......Page 111
Index of defined identifiers......Page 112
p109-terei......Page 113
Introduction......Page 125
Shapes: Open and closed......Page 126
Blocks......Page 127
Using Hoopl to analyze and transform graphs......Page 128
Dataflow lattices......Page 129
The rewrite function and the client's monad......Page 130
When the type of nodes is not known......Page 131
Example: Constant propagation and constant folding......Page 132
Overview......Page 133
Fixed points......Page 134
Related work......Page 135
Discussion......Page 136
Computation of fixed points......Page 0
p135-bolingbroke......Page 138
p147-yorgey......Page 150
backmatter......Page 162