Author(s): Graham Grutton, Andrew Tomalch (editors)
Language: English
Pages: 353
frontmatter.pdf......Page 1
p1-steele......Page 9
p3-hinze......Page 10
p11-fischer......Page 18
p23-sculthorpe......Page 30
p35-liu......Page 42
p47-felleisen......Page 54
p59-newton......Page 66
p65-marlow......Page 72
p79-chlipala......Page 85
p91-klein......Page 97
Introduction......Page 102
On Using Both......Page 103
An SECD Machine......Page 104
Approximating Denotational By Operational......Page 105
Approximating Operational By Denotational......Page 107
Realizability and Equivalence......Page 108
Example: Optimizing iteration......Page 109
Discussion......Page 110
The Problem With Realizing Recursion......Page 111
On the non-closure of t......Page 112
1 Documentation as Code......Page 113
3 Scribbling Code......Page 114
4.1 @-expressions as S-expressions......Page 115
4.2 Documentation-Specific Decoding......Page 116
6 Modules and Bindings......Page 117
7 Core Scribble Datatypes......Page 118
8.1 API Specification......Page 119
8.3 In-Code Documentation......Page 120
9 Building and Installing Documentation......Page 121
11 Related Work......Page 123
12 Conclusion......Page 124
p121-pierce......Page 125
p123-licata......Page 126
p135-neis......Page 138
p149-claessen......Page 152
p161-ziarek......Page 164
1 Introduction......Page 176
2 Free Theorems, in Full Beauty......Page 177
3 The Extension to Type Constructor Classes......Page 178
4.1 Purity Preservation......Page 179
4.2 Safe Value Extraction......Page 180
4.3 Monad Subspacing......Page 181
4.5 A More Polymorphic Example......Page 182
5 Another Application: Difference Lists, Transparently......Page 183
6 Discussion and Related Work......Page 184
Acknowledgments......Page 185
C Free Theorems, the Ugly Truth......Page 186
p185-sampson......Page 188
Introduction......Page 194
Friendly and precise......Page 195
A model for automatic differentiation......Page 196
Addition......Page 197
Sine......Page 198
Two dimensions in and one dimension out......Page 199
The general setting: vector spaces......Page 200
Functor......Page 201
Fun with rules......Page 202
Related work......Page 203
Basis types......Page 204
Memoization......Page 205
p203-gazagnaire......Page 206
p215-pagano......Page 218
Introduction......Page 223
Analysis Framework......Page 224
Logical Formulas......Page 225
Queries......Page 226
Type Tagging......Page 227
Analysis Predicates......Page 228
Custom Predicates......Page 229
Framework in Action......Page 230
Related Work......Page 231
Conclusion......Page 232
p231-piponi......Page 233
p233-rodriguez......Page 234
p245-viera......Page 246
p257-reppy......Page 258
p269-chaudhuri......Page 270
p281-cuoq......Page 282
p287-midtgaard......Page 288
p299-mccarthy......Page 300
Functional Programming for the Web......Page 311
XML Typing......Page 312
Typing Web Interactions......Page 313
General Structure of the Code......Page 314
Conclusion......Page 315
p317-rompf......Page 316
p329-swamy......Page 328
p341-schrijvers......Page 340
backmatter......Page 352
