Languages with Contexts II: An Applicative Language

RISC-Linz logo

Wolfgang Schreiner
Research Institute for Symbolic Computation (RISC-Linz)
Johannes Kepler University, A-4040 Linz, Austria
  • Applicative Language
  • Pure LISP
  • Scoping Rules
  • Dynamic Scoping
  • Example
  • Self-Application
  • Self-Application
  • Recursive Definitions
  • Recursive Definitions
  • Fixed Point Semantics
  • Substitution Principles

  • Author: Wolfgang Schreiner
    Last Modification: November 18, 1997

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