cofi-language Mail Archive Threads 1998

Thread index
Last updated: Tue Aug 03 15:02:21 1999
82 messages
  • [CoFI] comments on concrete syntax, Prof.Dr. Bernd Krieg-Brückner
  • Comments on CASL concrete syntax, Till Mossakowski
  • [CoFI] Deadline reminder; Note L-8; Notes M-1, M-2, M-3, pdmosses
  • [CoFI] Language Design - Proposed Changes to CASL, pdmosses
  • [CoFI] CASL Concrete Syntax, pdmosses
  • [CoFI] Removal of conservative extensions from CASL, Michel.Bidoit
  • [CoFI] Proposal for named morphisms in CASL, pdmosses
  • [CoFI] Proposed change to CASL: remove overall fitting, Michel Bidoit
  • [CoFI] Concrete + Abstract Syntax: minor comments, Bernd Krieg-Brueckner
  • Re: [CoFI] Ambiguity in CASL concrete syntax, Frederic Voisin
  • [CoFI] (Minor) Comments on v0.99, Maura Cerioli
  • [CoFI] Language Design Note L-9, Till Mossakowski
  • [CoFI] Comments on CASL v0.99 DRAFT, Till Mossakowski
  • [CoFI]: CASL version 0.99 *almost* installed..., pdmosses
  • [CoFI] CASL v0.99 - Views, hubert
  • [CoFI] cofi-language moderation; STATUS, bkb
  • [CoFI] question, Alexandre Zamulin
  • [CoFI] if then else (again?), bkb
  • [CoFI] Re: question, Michel Bidoit
  • [CoFI] Revised proposal for CASL Views, Imports (700 lines), Bernd Krieg-Brueckner
  • Re: [CoFI] Revised proposal for CASL Views, Imports, Didier Bert
  • [CoFI] CASL finalization - STATUS, Peter D. Mosses
  • CoFI workshop in Cachan, 7-11/11/98 -- REGISTER NOW, Don Sannella
  • Total and partial functions, Till Mossakowski
  • Comments on CASL 1.0 draft, Till Mossakowski
  • Agenda for Language Design Meeting in Cachan, Bernd-Krieg-Brückner
  • Study Note HO extensions; Questions on V1.0 draft, Till Mossakowski
  • More comments on 1.0, Till Mossakowski
  • CASL v.1.0: UNIT-SPEC-NAMEs, Andrzej Tarlecki
  • Re: More comments on 1.0 - compound ids, Peter Mosses
  • Re: [CASL] concrete syntax - mixfix, imports, Bernd Krieg-Brueckner
  • CASL V1.0 - Comments, Michel Bidoit
  • Re: Labels before ALTERNATIVEs; Named Views, Peter Mosses
  • Example of an arch spec, Till Mossakowski
  • Re: Named Views in CASL, Peter Mosses
  • What to bring and read for the Language Design Meeting, Bernd-Krieg-Brückner
  • [CoFI] Minutes of the Language Design Meeting at Cachan, bkb
    • Mail converted by MHonArc 2.4.0