cofi-language Mail Archives 1997

• Thread Index

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