Representing java classes in a typed intermediate language

摘要

We propsoe a conservative extension of hte polymorphic lamdba calculus (F~w) as an intermediate languaae for compiling languages with name-based class and interface hierarchies.Our xtension enriches standard F~w with recursive types,existential tyeps,and row polymorphism,but only ordered records with no subtyping.Basing our language on F~w makes it also a suitable target for translation from other higher-order languages; this enables the safe interoperation between class-based and higher-order languages and the reuse of common type-directed optimiazatin techniques,ocmpiler back ends,and runtime support.