[TYPES] System F and implicit instantiation
Jeremy Graham Siek
jsiek at osl.iu.edu
Sun Aug 8 16:24:41 EDT 2004
Hi All,
Type checking for System F with church-style terms is easy. How difficult
does type checking become if instantiation is made implicit?
Cheers,
Jeremy
More information about the Types-list
mailing list