Rank 2 intersection for recursive definitions

MaRDI QIDQ3593500zbMATH OpenFDO

Authors Ferruccio Damiani

Publication date 20 July 2007

zbMATH Keywords

type inferencepolymorphic recursionprinciple typings

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40) Functional programming and lambda calculus (68N18)

Recommendations

• Typed Lambda Calculi and Applications
• scientific article; zbMATH DE number 1512611
• scientific article; zbMATH DE number 3874579
• Type Inference for Rank 2 Gradual Intersection Types
• scientific article; zbMATH DE number 883895

Cited in

(2)

• On Polymorphic Recursion, Type Systems, and Abstract Interpretation
• Typed Lambda Calculi and Applications

This page was built for publication: Rank 2 intersection for recursive definitions

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