[Haskell-cafe] Haskell type system and the lambda cube

voigt at tcs.inf.tu-dresden.de voigt at tcs.inf.tu-dresden.de
Sun May 24 06:06:20 EDT 2009

> 2009/5/24 Petr Pudlak <deb at pudlak.name>:
> If all Haskell had would be HM, it would be System F.

That cannot be quite right, can it? System F has more powerful
polymorphism than HM.


More information about the Haskell-Cafe mailing list