The Parameterization and
Correspondence Principles

Wolfgang Schreiner
Research Institute for Symbolic Computation
Johannes Kepler University, Linz, Austria
  • The Parameterization Principle
  • Parameterized Abstractions
  • Typing Rules
  • Parameter Forms
  • Expression Parameters
  • Evaluation Strategy
  • Copy Rule
  • Semantics of Parameter Transmission
  • Eagerly Evaluated Parameters
  • Lazy Evaluation
  • Lazy Evaluation
  • Soundness of Typing Rules
  • Copy Rule
  • Parameter Copy Rule
  • Parameter Substitution
  • Numeral and Command Parameters
  • Declaration and Variable Parameters
  • Type Equivalence
  • Name Equivalence
  • Type-Structure Parameters
  • Generalization
  • Denotational Semantics
  • The Correspondence Principle
  • Consequences of Correspondence
  • Consequences of Correspondence
  • Semantics of Correspondence
  • Proof of Correspondence
  • Parameter Lists
  • Typing of Parameter Lists
  • Semantics of Parameter Lists
  • Lambda Abstraction Principle
  • Summary (Typing Rules)
  • Summary (Semantics)
  • Summary (Lambda Abstraction)
  • References
    • Wolfgang.Schreiner@risc.uni-linz.ac.at
    Id: parameter.tex,v 1.1 1996/04/25 11:40:48 schreine Exp schreine