scientific article; zbMATH DE number 512778

MaRDI QIDQ4281471zbMATH OpenFDO

Authors G. Ghelli

Publication date 7 April 1994

zbMATH Keywords

non-conservative extensionparametric polymorphismrecursive typestype system

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) Cut-elimination and normal-form theorems (03F05) Second- and higher-order arithmetic and fragments (03F35)

Recommendations

• Divergence of \(F_{\leq}\) type checking
• An extension of system \(F\) with subtyping
• An extension of system \(F\) with subtyping
• Subtyping recursion and parametric polymorphism in kernel Fun

Cited in

(9)

• Bounded existentials and minimal typing
• Higher-order subtyping
• Subtyping recursion and parametric polymorphism in kernel Fun
• Basic theory of F-bounded quantification.
• Comparing object encodings.
• Dependent types with subtyping and late-bound overloading
• Logic of subtyping
• Divergence of \(F_{\leq}\) type checking
• Recursive subtyping for all

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4281471)