[Haskell-cafe] Re: FW: Haskell

[apfelmus]

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