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