[Haskell-cafe] FW: Haskell

[Janis Voigtlaender]

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?

-- 
Dr. Janis Voigtlaender
http://wwwtcs.inf.tu-dresden.de/~voigt/
mailto:voigt at tcs.inf.tu-dresden.de