appendix sectionnotation

Functional objects and recursive self

symbol	meaning	first
symbol	meaning	first
$ς (s : A) b$	method body with a bound self receiver	definition 15.1
$a . ℓ$ , $a . ℓ \Leftarrow ς (s : A) b$	invocation and functional override	definition 15.1
$Γ ⊢_{min} a : A$	syntax-directed minimum typing	definition 15.7
$Δ; Γ$	type-variable and term-variable contexts	definition 15.16
$Point$	recursive fluent point type	definition 15.13
$ColorPoint$	attempted fluent extension type	section 15.6
$F_{<: μ}$	bounded-existential target calculus	definition 15.16
$A^{*}$	target translation of source type $A$	equation 15.1
${tr}_{Γ} (a)$	syntax translation of source term $a$	equation 15.2
$C_{A} (X)$	hidden method-suite record family	equation 15.1
$ℓ^{sel}, ℓ^{upd}, self$	three representation fields	equation 25.2
$r_{D_{A}}$	recursive constructor that reties self	equation 15.2