From: rosen@enst.fr (Jean-Pierre Rosen)
Subject: Re: Types with physical dimension
Date: 5 Oct 1994 14:17:40 +0100
Date: 1994-10-05T14:17:40+01:00 [thread overview]
Message-ID: <36u91k$jp1@cyclope.enst.fr> (raw)
In-Reply-To: BEVAN.94Oct5113509@lemur.cs.man.ac.uk
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
next prev parent reply other threads:[~1994-10-05 13:17 UTC|newest]
Thread overview: 26+ messages / expand[flat|nested] mbox.gz Atom feed top
1994-09-27 22:18 Types with physical dimension Paul Graham
1994-09-28 13:59 ` Robert Dewar
1994-09-30 2:06 ` R_Tim_Coslet
1994-10-03 17:31 ` Stephen A. Leake
1994-10-04 11:51 ` Robert I. Eachus
1994-10-04 19:45 ` Mark A Biggar
[not found] ` <CxBBx8.7L@irvine.com>
1994-10-13 22:15 ` gamache
1994-10-12 3:43 ` Matt Kennel
1994-10-04 14:56 ` Robert Dewar
1994-10-05 14:53 ` Bob Gilbert
1994-10-05 8:38 ` Jean-Pierre Rosen
1994-10-05 10:35 ` Stephen J Bevan
1994-10-05 13:17 ` Jean-Pierre Rosen [this message]
1994-10-05 15:48 ` Norman H. Cohen
-- strict thread matches above, loose matches on Subject: below --
1994-09-28 10:55 Simtel20 Transfer
1994-09-28 18:56 ` Mark A Biggar
1994-10-04 2:06 ` lmiller
1994-09-28 19:28 Paul Pukite
[not found] <GRAHAM.94Sep27181841@canopus.clsi.com>
1994-09-28 17:36 ` William Brennan
1994-09-28 21:41 ` Tucker Taft
1994-09-29 4:11 ` Robert Dewar
1994-09-29 11:19 ` Peter Hermann
1994-09-30 10:17 ` Dr John Stockton
1994-10-03 4:37 ` Robert Dewar
1994-09-29 13:37 ` Tucker Taft
1994-10-03 4:40 ` Robert Dewar
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox