[TYPES] System F and implicit instantiation

Jeremy Graham Siek jsiek at osl.iu.edu
Sun Aug 8 16:24:41 EDT 2004

Previous message: [TYPES] Paper: Acute - high-level programming language design for distributed computation
Next message: [TYPES] System F and implicit instantiation
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

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

Previous message: [TYPES] Paper: Acute - high-level programming language design for distributed computation
Next message: [TYPES] System F and implicit instantiation
Messages sorted by: [ date ] [ thread ] [ subject ] [ author ]

More information about the Types-list mailing list