Go backward to
About this document
Go up to
Top
Go forward to
Basic Concepts
Part I: Basic Specifications:
Basic Concepts
Basic Constructs
Subsorting Concepts
Subsorting Constructs
CoFI
Tentative Document: LanguageSummary --Version 0.95-- March 6, 1997.
Comments to
cofi-language@brics.dk