[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