✦ LIBER ✦

Principality and type inference for intersection types using expansion variables

✍ Scribed by A.J. Kfoury; J.B. Wells

Book ID: 108280903
Publisher: Elsevier Science
Year: 2004
Tongue: English
Weight: 708 KB
Volume: 311
Category: Article
ISSN: 0304-3975
DOI: 10.1016/j.tcs.2003.10.032

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

Implementing Compositional Analysis Usin

Implementing Compositional Analysis Using Intersection Types With Expansion Variables

✍ Assaf Kfoury; Geoffrey Washburn; J.B. Wells 📂 Article 📅 2003 🏛 Elsevier Science 🌐 English ⚖ 264 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

Automatic Inference of Determinacy and M

Automatic Inference of Determinacy and Mutual Exclusion for Logic Programs Using Mode and Type Analyses

✍ Pedro Lopez-Garcia; Francisco Bueno; Manuel Hermenegildo 📂 Article 📅 2010 🏛 Springer 🌐 English ⚖ 688 KB

Increased Recognition of Type II Endolea

Increased Recognition of Type II Endoleaks Using a Modified Intraoperative Angiographic Protocol: Implications for Intermittent Endoleak and Aneurysm Expansion

✍ Peter L. Faries; Vania L. Briggs; Joshua Bernheim; K. Craig Kent; Larry H. Holli 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 169 KB

Calculation and verification of rotation

Calculation and verification of rotation angle of a four-axis hotwire cutter for transfer-type variable lamination manufacturing using expandable polystyrene foam

✍ S.H. Lee; D.G. Ahn; D.Y. Yang 📂 Article 📅 2003 🏛 Springer 🌐 English ⚖ 933 KB

Rotation of the anatomic regions used fo

Rotation of the anatomic regions used for insulin injections and day-to-day variability of plasma glucose in Type 1 diabetic subjects

✍ Bantle, J P ;Weber, M S ;Thow, J ;Home, P 📂 Article 📅 1991 🏛 John Wiley and Sons 🌐 English ⚖ 158 KB

## Abstract The paper by Bantle and colleagues from the University of Minnesota, Minneapolis, assesses the day‐to‐day variation in blood glucose concentrations following the commonly employed clinical practice or rotating anatomical sites for insulin injection. Twelve patients with insulin‐depende