Records and Lambda Abstractions

RISC-Linz logo

Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, A-4040 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

  • Author: Wolfgang Schreiner
    Last Modification: May 14, 1998

    [Up] [RISC-Linz] [University] [Search]