[bitc-dev] Retrospective: The Issues with Type Classes
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...
More information about the bitc-dev