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=-0.8 required=5.0 tests=BAYES_00,INVALID_DATE
	autolearn=no autolearn_force=no version=3.4.4
X-Google-Language: ENGLISH,ASCII-7-bit
X-Google-Thread: 103376,791ecb084fdaba75
X-Google-Attributes: gid103376,public
X-Google-ArrivalTime: 1994-10-05 10:12:27 PST
Path: 
 bga.com!news.sprintlink.net!howland.reston.ans.net!EU.net!julienas!news2.fnet.fr!enst!not-for-mail
From: rosen@enst.fr (Jean-Pierre Rosen)
Newsgroups: comp.lang.ada
Subject: Re: Types with physical dimension
Date: 5 Oct 1994 14:17:40 +0100
Organization: Ecole Nationale Superieure des Telecommunications, Paris France
Message-ID: <36u91k$jp1@cyclope.enst.fr>
References: <GRAHAM.94Sep27181841@canopus.clsi.COM>
 <BEVAN.94Oct5113509@lemur.cs.man.ac.uk>
NNTP-Posting-Host: cyclope.enst.fr
Mime-Version: 1.0
Content-Type: text/plain; charset=iso-8859-1
Content-Transfer-Encoding: 8bit
Date: 1994-10-05T14:17:40+01:00
List-Id: <comp.lang.ada>

In article <BEVAN.94Oct5113509@lemur.cs.man.ac.uk>, bevan@cs.man.ac.uk (Stephen J Bevan) writes:
> In article <36tole$j5e@cyclope.enst.fr> rosen@enst.fr (Jean-Pierre Rosen) writes:
>      ... I saw this idea in a paper long ago. As far as I recall, it was by
>      N. Cohen. Norm, are you listening?
> 
> This sounds like the method discussed in [Hilfinger:acm:toplas:1988],
> I don't remember if Hilfinger referenced/acknowledged Norman though.
> For interested parties, I've also included some references to other
> work on adding dimensions to programming languages :-
My mistake - apologies to Paul Hilfinger