On type inference in the intersection type discipline

zbMATH Open1272.03073MaRDI QIDQ2851085FDOQ2851085

Authors: Gérard Boudol, Pascal Zimmer 

Publication date: 2 October 2013

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

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

Mathematics Subject Classification ID

Combinatory logic and lambda calculus (03B40)

Cited In (26)

• Title not available (Why is that?)
• Principal types and unification for simple intersection type systems
• Discussion on: ``On Aizerman's type problem for neutral type systems
• Title not available (Why is that?)
• Title not available (Why is that?)
• Principal type scheme and unification for intersection type discipline
• Geometry of synthesis III
• The correctness of Newman's typability algorithm and some of its extensions
• 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
• Title not available (Why is that?)
• Title not available (Why is that?)
• Untyped Recursion Schemes and Infinite Intersection Types
• On isomorphisms of intersection types
• Type Inference for Correspondence Types
• On specifications, subset types and interpretation of proposition in type theory
• Characterizing strong normalization in the Curien-Herbelin symmetric lambda calculus: extending the Coppo-Dezani heritage
• Type inference for rank-2 intersection types using set unification
• On Isomorphisms of Intersection Types
• 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
• Types, potency, and idempotency: why nonlinearity and amnesia make a type system work

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)