scientific article; zbMATH DE number 512778

MaRDI QIDQ4281471zbMATH OpenFDO

Authors G. Ghelli

Publication date 7 April 1994

zbMATH Keywords

type systemparametric polymorphismrecursive typesnon-conservative extension

Mathematics Subject Classification ID

Cut-elimination and normal-form theorems (03F05) Combinatory logic and lambda calculus (03B40) Logic in computer science (03B70) 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

(8)

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

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)