Language Design Principles I:
Abstraction

RISC-Linz logo
Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, A-4040 Linz, Austria
  • Language Design Principles
  • Abstraction
  • Abstractions
  • Abstractions
  • Command Abstracts
  • Command Abstracts
  • Expression Abstracts
  • Function Procedures
  • Function Procedures
  • Declaration Abstracts
  • Type Abstracts
  • Type Equivalence
  • Example
  • Recursive Bindings
    • Author: Wolfgang Schreiner
    Last Modification: December 18, 1997
    [Up] [RISC-Linz] [University] [Search]