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

Petr Pudlak deb at pudlak.name
Sun May 24 04:15:44 EDT 2009

Hi, I'm trying to get some better understanding of the theoretical foundations
behind Haskell. I wonder, where exactly does Haskell type system fit within the
lambda cube? <http://en.wikipedia.org/wiki/Lambda_cube>
I guess it could also vary depending on what extensions are turned on.

    Thanks, Petr

More information about the Haskell-Cafe mailing list