Records and Lambda Abstractions

Wolfgang Schreiner
Research Institute for Symbolic Computation
Johannes Kepler University, Linz, Austria
  • Introduction
  • Typing Rules
  • Record Introduction
  • Example
  • Lambda Abstraction Introduction
  • Example
  • Full Language
  • Full Language (Contd)
  • Higher-Order Programming Languages
  • Semantics of Records and Lambda Abstractions
  • Lazy Evaluation Semantics
  • Lazy Evaluation Semantics
  • Variable Declarations
  • Eager Evaluation Semantics
  • Eager Evaluation Semantics
  • Lazy and Eager Evaluation Combined
  • Lazy and Eager Bindings
  • Typing Rules
  • Typing Rules
  • Denotational Semantics
  • Denotational Semantics
  • Lambda Abstractions Alone
  • Orthogonality
  • Model of the Programming Language
  • Categorical Product
  • Categorical Exponentiation
  • References
    • Wolfgang.Schreiner@risc.uni-linz.ac.at
    Id: records.tex,v 1.1 1996/05/20 12:33:10 schreine Exp schreine