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 _______________________________________________ Haskell-Cafe mailing list Haskell-Cafe@haskell.org http://www.haskell.org/mailman/listinfo/haskell-cafe