[<<][compsci][>>][..]
Sun Mar 7 22:11:15 CET 2010

System F vs. Hindley–Milner

Hindley-Milner[2] is a restricted form of System F[2].  Type inference
for HM is decidable while for System F it is not.

[1] http://en.wikipedia.org/wiki/System_F
[2] http://en.wikipedia.org/wiki/Hindley–Milner



[Reply][About]
[<<][compsci][>>][..]