Types and Programming Languages

object language, 24

Objective Caml

see OCaml, xvii

objects, 228, 368

as recursive records, 272

bounded quantification and, 411–416

encodings vs. primitive objects, 262–263

existential, 372–377, 475–489

hybrid object models, 377

identity, 245

imperative, 157, 225–245, 411–416

interface types, 479

Java-style, 247–264

matching relation on object types, 480

object-oriented programming, defined, 225–227

open recursion, 227, 235–244

purely functional, 372–377, 475–489

vs. abstract data types, 374–377

OCaml, xvii, 7, 45, 208, 231, 489

OCaml implementations, see ML implementations

occur check, 327, 338

omega, 65

operational semantics, 32, see also evaluation

big-step, 43

small-step, 42

operator associativity, 53

operator precedence, 53

Option type, 137–138

order, well-founded, 18

ordered sets, basic definitions, 16–18

ordinary induction, 19

overloading, 340

finitary, 206

overriding of method definitions, 233