[CoFI] New notes available

[pdmosses@brics.dk]

Latest News

     Further notes have been installed, and participants of the CoFI
     meetings in Bremen are requested to bring copies with them (as well as
     version 0.99 of the CASL Summary):
        o Note T-6. Till Mossakowski: Standard annotations for parsers and
          static semantic checkers - a proposal.
        o Note T-3 (revised draft). Mark van den Brand, Paul Klint, and
          Pieter Olivier: Aterms: Exchanging data between heterogeneous
          tools for CASL.
        o Note L-9. Till Mossakowski: Two "functional programming"
          sublanguages of CASL.

     The following previously-announced notes should also be brought to
     Lisbon:
        o Note M-1. Hubert Baumeister: Methodological considerations on the
          use of extension and union.
        o Note M-2. Christine Choppy: Note on data type declaration.
        o Note M-3. Maura Cerioli: Different kinds of subsorting in CASL.
        o Note M-4. Michel Bidoit, Don Sannella, and Andrzej Tarlecki:
          Architectural specifications in CASL.
        o Note L-7. Till Mossakowski: Sublanguages of CASL.
        o Note L-8. Anne Haxthausen, Bernd Krieg-Brückner, and Till
          Mossakowski: Extending CASL with higher-order functions - design
          proposal.
     Comments on these notes should be sent to the relevant mailing lists.

I'll not be installing any further notes until after my return from
Lisbon on 7 April.  Messages submitted to the CoFI mailing-lists,
however, will continue to be forwarded as usual, so SHORT notes in
PLAIN TEXT may be disseminated that way in the meantime.

I'm looking forward to seeing some of you at the CASL tutorial on
Sunday, and at WADT and the CoFI task group meetings,

Peter

----   --------------------------------------------
\  /  | Peter D. Mosses - mailto:pdmosses@brics.dk |
CoFI  | Common Framework Initiative  - Coordinator |
/  \  | WWW URL: http://www.brics.dk/Projects/CoFI |
----   --------------------------------------------