previous up next
Go backward to Typing of Parameter Lists
Go up to Top
Go forward to Lambda Abstraction Principle
RISC-Linz logo

Semantics of Parameter Lists

Correspondence is forced upon language!


Author: Wolfgang Schreiner
Last Modification: May 7, 1998

previous up next