O O’Donnell, 32 , 487 object-oriented, 126 occurs check, 339 operational semantics, 309 , 406 or-gate, 31 OTTER, 32 out of bounds, 87 , 122 overapplication, 72
