| < Free Open Study > |
|
garbage collection, 45, 158–165, 514–515
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
| < Free Open Study > |
|