|
W
Wadler, 18 , 32 , 480
Wadsworth, 11 , 207 , 484
Warren Abstract Machine, 208 , 338 , 402
weak head normal form, 164
weak portability, 205
wff, 211 , 216 , 339
Wikstrom, 18 , 491
wildcard, 28 , 177 , 181 , 349 , 383 , 387
Winograd, 480 , 491
wrapper function, 175
Wright, 140 , 491
|
|
