Characterization of the principal type of normal forms in an intersection type system

DOI10.1007/3-540-62034-6_61MaRDI QIDQ6567783zbMATH OpenFDO

Authors Emilie Sayag, Michel Mauny

Publication date 5 July 2024

Mathematics Subject Classification ID

Theory of programming languages (68N15) Combinatory logic and lambda calculus (03B40)

Recommendations

• scientific article; zbMATH DE number 1929308
• Principal types and unification for simple intersection type systems
• Complete restrictions of the intersection type discipline
• Principal type scheme and unification for intersection type discipline
• Principal Typing in a ∀Λ-Discipline

Cites work

• scientific article; zbMATH DE number 46869 (Why is no real title available?)
• scientific article; zbMATH DE number 47007 (Why is no real title available?)
• scientific article; zbMATH DE number 1479634 (Why is no real title available?)
• A filter lambda model and the completeness of type assignment
• A theory of type polymorphism in programming
• An extension of basic functionality theory for \(\lambda\)-calculus
• Complete restrictions of the intersection type discipline
• Functional Characters of Solvable Terms
• Principal Type Schemes for the Strict Type Assignment System
• Principal Typing in a ∀Λ-Discipline
• Principal type scheme and unification for intersection type discipline
• Principal type schemes for an extended type theory
• Typing and computational properties of lambda expressions

This page was built for publication: Characterization of the principal type of normal forms in an intersection type system

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