1 Apr
2008
1 Apr
'08
4:55 p.m.
Janis Voigtlaender wrote:
Loup Vaillant wrote:
Thanks to some geniuses (could someone name them?), we have type classes and higher order types in Haskell (and even more).
As far as names go:
.... for type classes, of course Wadler, but also Blott and Kaes.
.... for higher order types, well, where to start?
Girard and Reynolds? Regards, apfelmus