From: "Ehud Lamm" <mslamm@mscc.huji.ac.il>
Subject: Re: Specialization of generics
Date: Mon, 4 Jun 2001 22:21:17 +0300
Date: 2001-06-04T22:21:17+03:00 [thread overview]
Message-ID: <9fgngm$g59$1@news.huji.ac.il> (raw)
In-Reply-To: Pine.BSF.4.21.0106041018420.26148-100000@shell5.ba.best.com
> OK, I tried to sit on my hands, but I can't resist. Along these lines, you
> can look at
>
>
http://www.acm.org/pubs/citations/proceedings/ada/126551/p338-shen/#indterms
>
> -- Brian
It is a nice piece of work. Alas, it seems there are no newer works along
these lines.
I agree with you sentiments. In fact I think that auto-instantiation is a
nice way explore several other things. As I mention in my Ada-Europe'2001
paper, you might use auto-instantiation of signature packages to allow
sepcifying interface relations more abstractly than is currently done in
Ada.
(If someone wants to pursue this further, let me know!)
--
Ehud Lamm mslamm@mscc.huji.ac.il
http://purl.oclc.org/NET/ehudlamm <== Me!
prev parent reply other threads:[~2001-06-04 19:21 UTC|newest]
Thread overview: 7+ messages / expand[flat|nested] mbox.gz Atom feed top
2001-06-04 0:17 Specialization of generics John Pitney
2001-06-04 1:04 ` tmoran
2001-06-04 10:23 ` Ehud Lamm
2001-06-04 14:51 ` Ted Dennison
2001-06-04 16:16 ` Ehud Lamm
2001-06-04 17:28 ` Brian Rogoff
2001-06-04 19:21 ` Ehud Lamm [this message]
replies disabled
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox