The Abstraction Principle I

RISC-Linz logo

Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, A-4040 Linz, Austria
  • The Abstraction Principle
  • Abstractions
  • Expression Abstractions
  • Type Attributes of Functions
  • Typing Rules
  • Typing Rules
  • Typing Rules
  • Linear Type Annotation
  • Interpretation
  • The Semantics of Abstractions
  • The Semantics of Abstractions
  • The Semantics of Abstractions
  • Soundness of the Typing Rules
  • Soundness Theorem
  • Lazy Evaluation and Copy Rule
  • Declaration Unions
  • Declaration Sequences
  • Substitutions
  • Eager Evaluation
  • Semantics of Lazy Evaluation
  • Semantics of Eager Evaluation
  • Other Standard Abstractions
  • Semantics
  • Recursively Defined Abstractions
  • Example

  • Author: Wolfgang Schreiner
    Last Modification: April 2, 1998

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