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
Document: LanguageSummary --DRAFT, Version 0.96-- 30 April 1997.
Comments to
cofi-language@brics.dk