From: Matthew Heaney <matthew_heaney@acm.org>
Subject: Re: Naming of Tagged Types and Associated Packages
Date: 1998/07/28
Date: 1998-07-28T00:00:00+00:00 [thread overview]
Message-ID: <m3d8aqxtau.fsf@mheaney.ni.net> (raw)
In-Reply-To: 6pk3jf$gpm$1@platane.wanadoo.fr
"Jean-Pierre Rosen" <rosen.adalog@wanadoo.fr> writes:
> >Read the RM. Show me one place in the RM where a type is named
> >"Instance."
> The RM has many qualities, but it is certainly not intended to be used as an
> example !
I take the opposite position, and try to follow the spirit of the
conventions in the RM. Perhaps this is the real basis of our
disagreement.
next prev parent reply other threads:[~1998-07-28 0:00 UTC|newest]
Thread overview: 138+ messages / expand[flat|nested] mbox.gz Atom feed top
1998-07-16 0:00 Naming of Tagged Types and Associated Packages taashlo
1998-07-25 0:00 ` Matthew Heaney
1998-07-25 0:00 ` Jean-Pierre Rosen
1998-07-25 0:00 ` Brian Rogoff
1998-07-26 0:00 ` Matthew Heaney
1998-07-26 0:00 ` Matthew Heaney
1998-07-26 0:00 ` nabbasi
1998-07-26 0:00 ` Matthew Heaney
1998-07-26 0:00 ` Robert Dewar
1998-07-27 0:00 ` dennison
1998-07-27 0:00 ` Stephen Leake
1998-07-27 0:00 ` dennison
1998-07-27 0:00 ` Brian Rogoff
1998-07-28 0:00 ` dennison
1998-07-28 0:00 ` Brian Rogoff
1998-07-28 0:00 ` dennison
1998-07-29 0:00 ` Matthew Heaney
1998-07-29 0:00 ` Chris Brand
1998-07-30 0:00 ` Matthew Heaney
1998-07-30 0:00 ` dennison
1998-07-30 0:00 ` Matthew Heaney
1998-07-30 0:00 ` dennison
1998-08-01 0:00 ` Simon Wright
1998-08-02 0:00 ` Matthew Heaney
1998-08-03 0:00 ` dennison
1998-08-03 0:00 ` Matthew Heaney
1998-08-04 0:00 ` dennison
1998-08-04 0:00 ` Jean-Pierre Rosen
1998-08-04 0:00 ` Brian Rogoff
1998-08-05 0:00 ` Don Harrison
1998-08-05 0:00 ` Matthew Heaney
1998-08-07 0:00 ` Don Harrison
1998-08-13 0:00 ` Robert A Duff
1998-08-14 0:00 ` adam
1998-08-14 0:00 ` Don Harrison
1998-08-05 0:00 ` Brian Rogoff
1998-08-07 0:00 ` Don Harrison
1998-08-07 0:00 ` doylep
1998-08-07 0:00 ` Brian Rogoff
1998-08-08 0:00 ` Matthew Heaney
1998-08-10 0:00 ` doylep
1998-08-10 0:00 ` Brian Rogoff
1998-08-10 0:00 ` John Volan
1998-08-10 0:00 ` John Volan
1998-08-11 0:00 ` doylep
1998-08-11 0:00 ` Brian Rogoff
1998-08-13 0:00 ` Robert A Duff
1998-08-13 0:00 ` Brian Rogoff
1998-09-01 0:00 ` Matthew Heaney
1998-09-01 0:00 ` Dale Stanbrough
1998-09-01 0:00 ` Matthew Heaney
1998-09-01 0:00 ` Bob Collins
1998-09-02 0:00 ` Matthew Heaney
1998-09-04 0:00 ` John G. Volan
1998-08-11 0:00 ` Don Harrison
1998-08-11 0:00 ` Pat Rogers
1998-08-11 0:00 ` Don Harrison
1998-09-01 0:00 ` Matthew Heaney
1998-08-13 0:00 ` Robert A Duff
1998-08-13 0:00 ` Brian Rogoff
1998-08-15 0:00 ` Don Harrison
1998-08-15 0:00 ` Jean-Pierre Rosen
1998-08-18 0:00 ` Don Harrison
1998-08-14 0:00 ` Don Harrison
1998-08-17 0:00 ` doylep
1998-08-19 0:00 ` Don Harrison
1998-08-12 0:00 ` Don Harrison
1998-08-08 0:00 ` Matthew Heaney
1998-08-08 0:00 ` John G. Volan
1998-08-09 0:00 ` Matthew Heaney
1998-08-10 0:00 ` John G. Volan
1998-08-11 0:00 ` John Volan
1998-08-11 0:00 ` Don Harrison
1998-08-11 0:00 ` geoff
1998-08-31 0:00 ` Matthew Heaney
1998-08-31 0:00 ` Tucker Taft
1998-09-06 0:00 ` John G. Volan
1998-09-06 0:00 ` Matthew Heaney
1998-09-04 0:00 ` John G. Volan
1998-09-06 0:00 ` Matthew Heaney
1998-09-06 0:00 ` John G. Volan
1998-09-06 0:00 ` John G. Volan
1998-09-06 0:00 ` Brian Rogoff
1998-09-06 0:00 ` John G. Volan
1998-09-07 0:00 ` Brian Rogoff
1998-09-07 0:00 ` John G. Volan
1998-09-16 0:00 ` Matthew Heaney
1998-09-04 0:00 ` John G. Volan
1998-09-05 0:00 ` John G. Volan
1998-09-06 0:00 ` Matthew Heaney
1998-09-06 0:00 ` Matthew Heaney
1998-09-04 0:00 ` John G. Volan
1998-09-05 0:00 ` Matthew Heaney
1998-09-05 0:00 ` John G. Volan
1998-09-05 0:00 ` John G. Volan
1998-09-05 0:00 ` John G. Volan
1998-08-11 0:00 ` doylep
1998-08-05 0:00 ` Static Polymorphism (Was Re: Naming of Tagged Types...) Brian Rogoff
1998-08-06 0:00 ` Matthew Heaney
1998-08-06 0:00 ` Brian Rogoff
1998-07-28 0:00 ` Naming of Tagged Types and Associated Packages Brian Rogoff
1998-07-29 0:00 ` Matthew Heaney
1998-07-29 0:00 ` Brian Rogoff
1998-07-28 0:00 ` Norman H. Cohen
1998-07-28 0:00 ` Matthew Heaney
1998-07-28 0:00 ` Stephen Leake
1998-07-28 0:00 ` Matthew Heaney
1998-07-28 0:00 ` Jean-Pierre Rosen
1998-07-28 0:00 ` Matthew Heaney [this message]
1998-07-28 0:00 ` dennison
1998-07-29 0:00 ` Matthew Heaney
1998-07-30 0:00 ` Robert Dewar
1998-07-30 0:00 ` Matthew Heaney
1998-08-06 0:00 ` Robert A Duff
1998-08-06 0:00 ` Matthew Heaney
1998-08-06 0:00 ` Tucker Taft
1998-08-31 0:00 ` Matthew Heaney
1998-07-27 0:00 ` Jean-Pierre Rosen
1998-07-28 0:00 ` Matthew Heaney
1998-07-28 0:00 ` Jean-Pierre Rosen
1998-07-28 0:00 ` dennison
1998-07-29 0:00 ` Jean-Pierre Rosen
1998-07-29 0:00 ` dennison
1998-07-29 0:00 ` Jean-Pierre Rosen
1998-07-30 0:00 ` dennison
1998-07-30 0:00 ` Jean-Pierre Rosen
1998-07-29 0:00 ` Robert I. Eachus
1998-07-30 0:00 ` Matthew Heaney
1998-07-30 0:00 ` Jean-Pierre Rosen
1998-07-30 0:00 ` Robert I. Eachus
1998-07-31 0:00 ` Jean-Pierre Rosen
1998-07-31 0:00 ` Robert I. Eachus
1998-08-01 0:00 ` Jean-Pierre Rosen
1998-08-04 0:00 ` Matthew Heaney
1998-08-04 0:00 ` Jean-Pierre Rosen
1998-08-10 0:00 ` Robert I. Eachus
-- strict thread matches above, loose matches on Subject: below --
1998-07-26 0:00 tmoran
1998-07-27 0:00 ` dennison
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox