Language Design Principles III:
Correspondence and Qualification

RISC-Linz logo
Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, A-4040 Linz, Austria
  • Correspondence
  • Parameters and Definitions
  • Variable Definitions
  • Qualification
  • Declaration Blocks
  • Modules
  • Classes
  • Orthagonality
    • Author: Wolfgang Schreiner
    Last Modification: December 18, 1997
    [Up] [RISC-Linz] [University] [Search]