[Haskell-cafe] Re: FW: Haskell
apfelmus at quantentunnel.de
Tue Apr 1 16:55:14 EDT 2008
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?
More information about the Haskell-Cafe