Types and Programming Languages
|
| < Free Open Study > |
|
V
value, 34, 57
numeric, 40
value restriction, 336, 358
variable capture, 70
variables
bound, 55, 69-72
free, 55
variant types, 132-142
and subtyping, 196-197
extensible, 177
single-field, 138-140
vs. datatypes, 140-142
|
| < Free Open Study > |
|