Types and Programming Languages

tag free, 341

general recursion, 142–145

generating function, 282

generating set, 290

generation lemma, see inversion lemma

generators, classes as, 229

generics, 341

gfp algorithm, 292, 295–298

GJ, 195, 248, 409

grammar, 24

graph reduction, 57

greatest fixed point of a generating function, 283

greatest lower bound, see joins and meets

greedy type inference, 355