✦ LIBER ✦

Polar Type Inference with Intersection Types and ω

✍ Scribed by Sébastien Carlier

Book ID: 104444853
Publisher: Elsevier Science
Year: 2003
Tongue: English
Weight: 200 KB
Volume: 70
Category: Article
ISSN: 1571-0661
DOI: 10.1016/s1571-0661(04)80489-4

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Principality and type inference for inte

Principality and type inference for intersection types using expansion variables

✍ A.J. Kfoury; J.B. Wells 📂 Article 📅 2004 🏛 Elsevier Science 🌐 English ⚖ 708 KB

On strong normalization and type inferen

On strong normalization and type inference in the intersection type discipline

✍ Gérard Boudol 📂 Article 📅 2008 🏛 Elsevier Science 🌐 English ⚖ 466 KB

Expansion: the Crucial Mechanism for Typ

Expansion: the Crucial Mechanism for Type Inference with Intersection Types: A Survey and Explanation

✍ Sébastien Carlier; J.B. Wells 📂 Article 📅 2005 🏛 Elsevier Science 🌐 English ⚖ 467 KB

Type inference with constrained types

✍ Odersky, Martin; Sulzmann, Martin; Wehr, Martin 📂 Article 📅 1999 🏛 John Wiley and Sons 🌐 English ⚖ 219 KB

We present a general framework HM(X) for type systems with constraints. The framework stays in the tradition of the Hindley/Milner type system. Its type system instances are sound under a standard untyped compositional semantics. We can give a generic type inference algorithm for HM(X) so that, unde

Judgmental subtyping systems with inters

Judgmental subtyping systems with intersection types and modal types

✍ Seo, Jeongbong; Park, Sungwoo 📂 Article 📅 2013 🏛 Springer-Verlag 🌐 English ⚖ 628 KB

Types with intersection: An introduction

✍ J. Roger Hindley 📂 Article 📅 1992 🏛 Springer 🌐 English ⚖ 872 KB