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 --Version 0.98-- 9 September 1997.
Comments to
cofi-language@brics.dk