Go backward to Higher-Order Programming Languages
Go up to Top
Go forward to Lazy Evaluation Semantics

Semantics of Records and Lambda Abstractions

Addition of environment does not change meaning of core language programs.


Wolfgang.Schreiner@risc.uni-linz.ac.at
Id: records.tex,v 1.1 1996/05/20 12:33:10 schreine Exp schreine

Prev Up Next