The Abstraction Principle I

Wolfgang Schreiner
Research Institute for Symbolic Computation
Johannes Kepler University, 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
  • References

  • Wolfgang.Schreiner@risc.uni-linz.ac.at
    Id: abstraction.tex,v 1.1 1996/03/05 08:55:21 schreine Exp schreine