| < Free Open Study > |
|
Damas-Milner polymorphism, 331
dangling reference, 158
databases, 9, 142, 207
datatypes, 355, see also abstract data types
constructors as type annotations, 355
parametric, 444-445
recursive, 277-278
vs. variant types, 140-142
de Bruijn
indices, 75-81, 83-88, 381-387
levels, 81
pronunciation, 76
terms, 76
decidability, see also undecidability
of Fω, 459-460
of kernel F<: subtyping, 423
declarative subtyping and typing relations, 210
decreasing chain, 18
definedness, 16
definitional equivalence of types, 441, 447
definitions
formalization of, 441
of programming languages, 7
delegation, 227, 264
denotational semantics, 33
dependencies between chapters, xv
dependent
function types, 463
kinds, 445
types, 7, 11, 462-466, 473
depth of a term, 29
depth subtyping, 183
dereferencing, 154
derivable statement, 36
derivations
evaluation, 36
induction on, 37
subtyping, 183-187
trees, 36, 102
typing, 94
derived forms, 51, 53, 119-121
desugaring, 121
determinacy of one-step evaluation, 37
diamond property, 455, 494
dimension analysis, 4
disjoint union, 142
divergent combinator, 65
divergeT, 145
documentation, types as, 5, 121
domain of a relation, 16
domain theory, 33
down-cast, see casting
Dylan, 226
Dynamic type, 142
dynamic dispatch, 226
dynamic type testing, see casting
dynamic typing, 2
| < Free Open Study > |
|