✦ LIBER ✦

Judgmental subtyping systems with intersection types and modal types

✍ Scribed by Seo, Jeongbong; Park, Sungwoo

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Dependent Types with Subtyping and Late-

✍ Giuseppe Castagna; Gang Chen 📂 Article 📅 2001 🏛 Elsevier Science 🌐 English ⚖ 387 KB

Polar Type Inference with Intersection T

✍ Sébastien Carlier 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 200 KB

Subtyping of Salmonella Typhimurium by p

✍ Renaud Lailler; Francine Grimont; Yvette Jones; Pascal Sanders; Anne Brisabois 📂 Article 📅 2002 🏛 Elsevier Science 🌐 English ⚖ 187 KB

Dependent type system with subtyping (I)

✍ Gang Chen 📂 Article 📅 1998 🏛 Springer 🌐 English ⚖ 880 KB

On the Decidability of Subtyping with Bo

✍ Stefan Wehr; Peter Thiemann 📂 Article 📅 2011 🏛 Springer 🌐 English ⚖ 518 KB

Expansion: the Crucial Mechanism for Typ

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