[Haskell-cafe] Haskell's type system

Daniel Gorín dgorin at dc.uba.ar
Wed Jun 18 08:44:30 EDT 2008

On Jun 17, 2008, at 11:08 PM, Don Stewart wrote:

> Haskell's type system is based on System F, the polymorphic lambda
> calculus. By the Curry-Howard isomorphism, this corresponds to
> second-order logic.

just nitpicking a little.... this should read "second-order  
propositional logic", right?


More information about the Haskell-Cafe mailing list