Language Design Principles II:
Parameterization

RISC-Linz logo
Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, A-4040 Linz, Austria
  • Parameterization
  • Denotation of Parameters
  • Parameter Domains
  • Argument Evaluation
  • Parameterized Type Expressions
  • Polymorphism and Typing
  • Kinds of Polymorphism
  • Overloaded Operators
  • Parametric Polymorphic Operations
  • Polymorphic Parameterized Abstracts
  • Typed Parameters
  • 1. Version
  • 2. Version
    • Author: Wolfgang Schreiner
    Last Modification: December 18, 1997
    [Up] [RISC-Linz] [University] [Search]