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. Hello, 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. Ken -- Edit this signature at http://www.digitas.harvard.edu/cgi-bin/ken/sig http://www.lp.org/
Attachment:
signature.asc
Description: Digital signature