On type inference in the intersection type discipline

MaRDI QIDQ2851085zbMATH OpenFDO

Authors Gérard Boudol, Pascal Zimmer

Publication date 2 October 2013

Full work available at URL http://www.sciencedirect.com/science/article/pii/S1571066105050589

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Recommendations

• On strong normalization and type inference in the intersection type discipline
• Principal type scheme and unification for intersection type discipline
• scientific article; zbMATH DE number 4049615
• Principal types and unification for simple intersection type systems
• Principality and type inference for intersection types using expansion variables

Cited in

(26)

• scientific article; zbMATH DE number 445157 (Why is no real title available?)
• Types, potency, and idempotency: why nonlinearity and amnesia make a type system work
• Discussion on: ``On Aizerman's type problem for neutral type systems
• Principal types and unification for simple intersection type systems
• scientific article; zbMATH DE number 5994829 (Why is no real title available?)
• Principal type scheme and unification for intersection type discipline
• scientific article; zbMATH DE number 4051569 (Why is no real title available?)
• The correctness of Newman's typability algorithm and some of its extensions
• Geometry of synthesis III
• Polar type inference with intersection types and \(\omega\)
• Principality and type inference for intersection types using expansion variables
• Combining type disciplines
• Type Inference for Rank 2 Gradual Intersection Types
• scientific article; zbMATH DE number 4049615 (Why is no real title available?)
• Untyped Recursion Schemes and Infinite Intersection Types
• scientific article; zbMATH DE number 2044493 (Why is no real title available?)
• On isomorphisms of intersection types
• On specifications, subset types and interpretation of proposition in type theory
• Type Inference for Correspondence Types
• Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage
• On Isomorphisms of Intersection Types
• Type inference for rank-2 intersection types using set unification
• The Inhabitation Problem for Non-idempotent Intersection Types
• On strong normalization and type inference in the intersection type discipline
• Intersection-types à la Church
• Towards probabilistic reasoning in type theory -- the intersection type case

This page was built for publication: On type inference in the intersection type discipline

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