cofi-language Mail Archive Threads 1997

Thread index
Last updated: Tue Aug 03 15:01:16 1999
91 messages
  • [cofi-higher-order: starting discussions], karlm
  • CASL Concrete Syntax - Call for Proposals, pdmosses
  • CoFI Language Design Meeting in Paris, Bernd Krieg-Brueckner
  • CASL concrete syntax proposal, Bernd Krieg-Brueckner
  • Language design note L-1, Don Sannella
  • Language Design meeting - final details, bkb
  • Another proposal for CASL concrete syntax, Frederic Voisin
  • Comments on Abstract Syntax, Bernd Krieg-Brueckner
  • Comments on Abstract Syntax (addendum), Bernd Krieg-Brueckner
  • Re: BKB's comments on AS, Maura Cerioli
  • Discussion on flattening, Maura Cerioli
  • Re: CASL v0.95 Abstract Syntax, pdmosses
  • A rationale for the CASL design?, pdmosses
  • FEEDBACK (please) on new version of BKB's Concrete Syntax Proposal, Bernd Krieg-Brueckner
  • DRAFT of CASL Rationale available, pdmosses
  • Two proposals for additions to CASL, Tarlecki
  • comments on v.0.96, Tarlecki
  • editorial comments on v.0.96, Tarlecki
  • Overloading of functions [clarification needed], Michel Bidoit
  • Subsorts and compound identifiers, pdmosses
  • Comments on v0.96 Section 1-4.2, Maura Cerioli
  • Let-In; Overloading of functions, Maura Cerioli
  • Spec <--> Basic-Item*, Maura Cerioli
  • Comments on V.096 comments [350 lines], Till Mossakowski
  • Concerning Referential Transparency, Hubert Baumeister
  • CASL and HO, Don Sannella
  • Additions to CASL Rationale; minor addition to CASL; EXTENSION, pdmosses
  • comments on v0.96 of CASL, Don Sannella
  • final comments on v0.96, Till Mossakowski
  • Abstract syntax proposal for v0.97 [250 lines], pdmosses
  • moderation, pdmosses
  • Comments on rationales, Till Mossakowski
  • Lost mail; Dissent document; CoFIdoc package updated, pdmosses
  • Re: v0.97 lcoal specicications, Hubert Baumeister
  • Concrete Syntax; and Note of Dissent L-3, pdmosses
  • Instantiation of Generics and Well-formedness, Hubert Baumeister
  • overloading/overriding of variables in basic specs, Don Sannella
  • new Concrete Syntax Proposal 0.4.12, Bernd Krieg-Brueckner
  • Semantics Note S-5, pdmosses
  • Qualified specifications, Till Mossakowski
  • Note of Dissent L-4 on the role of subsorts..., pdmosses
  • (not quite) dissenting views, Bernd Krieg-Brueckner
  • Last Note of Dissent; mailing list now dormant, pdmosses
  • IFIP WG 1.3 Referees' report on CASL, pdmosses
  • (CoFI) New overloading relation, Till Mossakowski
  • (CoFI) Total FUN-DEFNs, Till Mossakowski
  • [CoFI] DRAFT Response to Referee Report on CASL, pdmosses
  • [CoFI] temporary change of cofi-language moderator, pdmosses
  • [CoFI] Re: DRAFT Response to Referee Report on CASL, Don Sannella
  • [CoFI] Morphisms as first class citizens in CASL, Didier Bert
  • [CoFI] Overloading relations, Anne Haxthausen
  • [CoFI] Concrete syntax for basic specifications, pdmosses
  • [CoFI] CASL Summary v0.98 available, pdmosses
  • [CoFI] Concrete syntax examples (verbose style) [400 lines], Frederic Voisin
  • [CoFI] Basic specs in CASL 0.98 (FUN-DEFN, COMPONENT), Don Sannella
  • [CoFI] CASL Concrete Syntax (comments), Frederic Voisin
  • [CoFI] Comments on CASL 0.98, Till Mossakowski
  • [CoFI] Comments on CASL v0.98? - last chance!, pdmosses
  • [CoFI] Comments on CASL v0.98, bkb
  • Re: concrete syntax, Bernd Krieg-Brueckner
  • [CoFI] Revised concrete syntax for CASL basic specs, pdmosses
  • [CoFI] Minutes of Amsterdam Meeting on Language Design, Christine.Choppy
  • [CoFI] Re: Examples of concrete syntax for CASL basic specs, Frederic Voisin
  • [CoFI] Re: Concrete Syntax, Christine Choppy
  • Proposal for Generic Extensions with Import Clauses, Hubert Baumeister
  • [CoFI] Finalization of CASL concrete syntax proposal pending, pdmosses
  • [CoFI] Re: Architectural specifications, Andrzej Tarlecki
  • [CoFI] CASL concrete syntax, pdmosses
    • Mail converted by MHonArc 2.4.0