It sounds like the paper that was mentioned here a day or two ago. I plan to have a look.
On Tue, Apr 10, 2012 at 1:35 AM, Bennie Kloosteman <[email protected]>wrote: > > >> 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 > > _______________________________________________ > bitc-dev mailing list > [email protected] > http://www.coyotos.org/mailman/listinfo/bitc-dev > >
_______________________________________________ bitc-dev mailing list [email protected] http://www.coyotos.org/mailman/listinfo/bitc-dev
