On Wed, Apr 2, 2008 at 8:08 AM, Janis Voigtlaender <voigt@tcs.inf.tu-dresden.de> wrote:

apfelmus wrote:

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?

Yes, that's the obvious suspects, of course. But I'm not sure I would
say they brought polymorphism (assuming that's what is meant by "higher
order types") to Haskell. Not in the same way Wadler and co. brought
type classes, quite specifically, to Haskell.

--
Dr. Janis Voigtlaender
http://wwwtcs.inf.tu-dresden.de/~voigt/
mailto:voigt@tcs.inf.tu-dresden.de
_______________________________________________
Haskell-Cafe mailing list
Haskell-Cafe@haskell.org
http://www.haskell.org/mailman/listinfo/haskell-cafe