Types and Programming Languages

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

diverge_T, 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