From mboxrd@z Thu Jan 1 00:00:00 1970 X-Spam-Checker-Version: SpamAssassin 3.4.4 (2020-01-24) on polar.synack.me X-Spam-Level: X-Spam-Status: No, score=-1.3 required=5.0 tests=BAYES_00,INVALID_MSGID autolearn=no autolearn_force=no version=3.4.4 X-Google-Language: ENGLISH,ASCII X-Google-Thread: 103376,63a41ccea0fc803a X-Google-Attributes: gid103376,public From: "Jean-Pierre Rosen" Subject: Re: Naming of Tagged Types and Associated Packages Date: 1998/07/29 Message-ID: <6pmrkd$5v9$1@platane.wanadoo.fr>#1/1 X-Deja-AN: 375947333 Content-Transfer-Encoding: 8bit References: <6pdhfo$1br$1@platane.wanadoo.fr> <6pi71p$n90$1@platane.wanadoo.fr> <6pk3jh$gpm$2@platane.wanadoo.fr> <6pkoir$sh6$1@nnrp1.dejanews.com> Content-Type: text/plain; charset="iso-8859-1" X-MimeOLE: Produced By Microsoft MimeOLE V4.72.2106.4 Organization: Adalog Mime-Version: 1.0 Newsgroups: comp.lang.ada Date: 1998-07-29T00:00:00+00:00 List-Id: dennison@telepath.com a �crit dans le message <6pkoir$sh6$1@nnrp1.dejanews.com>... >In article <6pk3jh$gpm$2@platane.wanadoo.fr>, > "Jean-Pierre Rosen" wrote: > >> This was my idea when I first studied the issue, and my paper discusses why >> it does not work. Please have a look at it. If you don't have an archive of >> Ada Letters, just drop me a mail telling your preferred format, and I'll be >> happy to send it to you (if others in this newsgroup also want a copy, they >> are also welcome :-) > >You could just post it here. Or does that break an agreement with Ada Letters? > OK, it is available as http://perso.wanadoo.fr/adalog/naming9x.zip It is a zipped file that contains naming9x.doc (word6 format) and naming9x.ps (PostScript) I don't think there is any copyright issue, AFAIK Ada-Letters allows free reprints of papers. -- ---------------------------------------------------------------------------- J-P. Rosen (Rosen.Adalog@wanadoo.fr) Visit Adalog's web site at http://perso.wanadoo.fr/adalog