Go backward to Denotational Semantics
Go up to Top
Go forward to Orthogonality
Lambda Abstractions Alone
- Language with naming and parameters.
- Do not care about record structures, classes, modules.
- Can use lambda abstractions as sole foundation.
- Translation technique:
- define I(I:theta, I:theta, ...,
I:theta) = U
define I = (lambdaI:theta.
((lambdaI:theta. ...(lambdaI:theta. U) ...)))
- begin define I=U, define I=U,
..., define I=U in W end
(( ...(((lambdaI:theta. (lambdaI:theta.
...(lambdaI:theta. W) ...)) U) U) ...) U)
- invoke I(V, V, ..., V)
((...((I V) V) ...) V)
Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: records.tex,v 1.1 1996/05/20 12:33:10 schreine Exp schreine