Index

binary methods, 3.1.2
cloning, 3.1.2
closures, 1.3.3
evaluation
- call-by-name, 1.3.2
- call-by-value, 1.3.1
- context, 1.3.1
- implementation, 1.3.1
fix-point, see recursion
inference rule, 1.3.3
late binding, 3.1.1
match…with, 2.1.1
mutable
- cells, 2.2
- object field, 3.2.2
- record field, 2.2
natural semantics, 1.3.3
non-determinism, 1.3.2
operational semantics
- big-step, 1.3.3, 1.3.3
overriding, 3.2.2
pattern matching, 2.1
polymorphic recursion, 1.5.1
recursion, 1.5
- mutual, 1.5.1
- with exceptions, 2.3
- with recursive types, 1.5.2
- with references, 2.2.3

recursive types, 3.2.1
redex, 1.3.1
reduction, 1.3
semantics
- big-step, 1.3
- in general, 1.3
- operational, 1.3
- small-step, 1.3
side-effects, see mutable
store, see mutable
type abbreviations, 2.1.4
- in object types, 3.1.1, 3.2.1
typing
- classes, 3.2.2
- core ML, 1.4.4
- environment, 1.4.1
- exceptions, 2.3
- judgments, 1.4.1
- messages, 3.2.1
- polymorphism, 1.4.4
- references, 2.2.3
- simple types, 1.4.1
values, 1.3.1