On Wed, Oct 30, 2013 at 7:14 PM, Sandro Magi <[email protected]> wrote:

> If I'm following you correctly, this sounds close to the work in Type
> Classes as Objects and Implicits [1], which also references the related
> work on JavaGI's "generalized interfaces" [2]:
>
> Your approach also seems close to C++ concepts, which are also discussed
> in the above paper.


Thanks for the pointers. I'll read.

I'm not sure I really have an "approach" here. I'm still trying to
understand the questions. It's good to do that before trying to understand
the answers. :-)
_______________________________________________
bitc-dev mailing list
[email protected]
http://www.coyotos.org/mailman/listinfo/bitc-dev

Reply via email to