[Haskell-cafe] Re: FW: Haskell

apfelmus 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 mailing list