The Parameterization and Correspondence Principles

RISC-Linz logo

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

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

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