Go up to
E Examples
Go forward to
E.2 Specifications from the Paris Proposal
E.1 Specifications from the Bremen Proposal
E.1.1 PO
E.1.2 MONOID
E.1.3 NAT
E.1.4 SIG1
E.1.5 SIG2
CoFI
Document: CASL/Summary --Version 0.99-- 21 April 1998.
Comments to
cofi-language@brics.dk
