[Date Prev][Date Next][Thread Prev][Thread Next][Date Index][Thread Index]

Re: dual-language systems increase modularity

On 2003-11-17T16:37:07-0800, Steve Dekorte wrote:
> On Nov 17, 2003, at 3:53 PM, Shriram Krishnamurthi wrote:
> >Proxy?  Sounds like an existential type.
> Great. Sample code?
> >Don't really know C++.  I doubt it has existential types, anyway.
> You're welcome choose another language.


The paper I cited earlier:

On 2003-11-17T18:13:41-0500, Ken Shan wrote:
> You might be interested in (the abstract and citations in) "A Model
> of Delegation Based on Existential Types" by Benjamin C. Pierce
> (http://www.cis.upenn.edu/~bcpierce/papers/delegation.ps).

contains executable code for delegation (it seems to be what you refer
to as "proxy") in a statically typed programming language.


Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig

Attachment: signature.asc
Description: Digital signature