[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]
Semantics of CASL v1.0
Dear friends,
Following the announcement by Don of a new version of the semantics of
CASL, let me add that it has just been installed as a CoFI note S-9,
and is available at:
http://www.brics.dk/Projects/CoFI/Notes/S-9/
Given the choice, I suggest to use this S-9 version from the CoFi Web
pages, where some very minor details (version number etc) have been
updated properly.
Yours sincerely,
Andrzej Tarlecki