W Wadler, 18, 32, 486 Wadsworth, 11, 213, 490 Warren Abstract Machine, 214, 345, 409 weak head normal form, 165 weak portability, 211 wff, 217, 222, 346 Wikstrom, 18, 497 wildcard, 28, 179, 183, 356, 390, 394 Winograd, 486, 497 wrapper function, 177 Wright, 141, 497
Built by Shen Technology (c) Mark Tarver, September 2021
