[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
https://lirias.kuleuven.be/bitstream/123456789/304985/1/icfp001-Devriese.pdf

Ben
-------------- 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