| < Free Open Study > |
|
IN TEXT | IN ML CODE | USAGE |
---|---|---|
p, q, r, s, t, u | s, t | terms |
x, y, z | x, y | term variables |
v, w | v, w | values |
nv | nv | numeric values |
l, j, k | l | record/variant field labels |
μ | store | stores |
M, N, P, Q, S, T, U, V | tyS, tyT | types |
A, B, C | tyA, tyB | base types |
Σ | store typings | |
X, Y, Z | tyX, tyY | type variables |
K, L | kK, kL | kinds |
σ | substitutions | |
Г, Δ | ctx | contexts |
J | arbitrary statements | |
D | typing derivations | |
C | subtyping derivations | |
fi | file position information | |
i, j, k, l | numeric subscripts |
| < Free Open Study > |
|