Types and Programming Languages

weak head reduction, 460

weak pointers, 515

weak type variable, 336

weakening lemma, 106

web resources, xx

well-formed context, 459

well-founded

order, 18

set, 18

well-typed term, 93

width subtyping, 183

wildcard bindings, 119-121

witness type, 364

wrong, 42, 73