[bitc-dev] Retrospective: The Issues with Type Classes

Bennie Kloosteman bklooste at gmail.com
Tue Apr 10 01:35:18 PDT 2012

> Their solution sounds a lot like Bob Harper's approach, and (separately)
> similar to something I've been considering. I'll look into it. Thanks for
> the pointer.

Do you know this recent paper ? It seems very relevant

On the Bright Side of Type Classes:
Instance Arguments in Agda

-------------- next part --------------
An HTML attachment was scrubbed...
URL: http://www.coyotos.org/pipermail/bitc-dev/attachments/20120410/fdb5f630/attachment.html 

More information about the bitc-dev mailing list