Go backward to
About this document
Go up to
Top
Go forward to
1 Basic Concepts
Part I: Basic Specifications
Basic Concepts
Basic Constructs
Subsorting Concepts
Subsorting Constructs
CoFI
Document: CASL/Summary-v0.97 --Version 0.97-- 20 May 1997.
Comments to
cofi-language@brics.dk