Abstract
This is version 1.0 of the CASL Language Summary, annotated by the
CoFI Semantics Task Group with the semantics of constructs. This
is the first complete but possibly imperfect version of the
semantics. It was compiled prior to the CoFI workshop at Cachan in
November 1998.
Original language | English |
---|
Publication status | Published - 1998 |
---|