✦ LIBER ✦

Dependent Types with Subtyping and Late-Bound Overloading

✍ Scribed by Giuseppe Castagna; Gang Chen

Book ID: 112252691
Publisher: Elsevier Science
Year: 2001
Tongue: English
Weight: 387 KB
Volume: 168
Category: Article
ISSN: 0890-5401
DOI: 10.1006/inco.2001.3128

No coin nor oath required. For personal study only.

📜 SIMILAR VOLUMES

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

Dependent type system with subtyping (I)

Dependent type system with subtyping (I) type level transitivity elimination

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

On the Decidability of Subtyping with Bo

On the Decidability of Subtyping with Bounded Existential Types and Implementation Constraints

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

Subtyping of Salmonella Typhimurium by p

Subtyping of Salmonella Typhimurium by pulsed-field gel electrophoresis and comparisons with phage types and resistance types

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

Comparisons of the environmental depende

Comparisons of the environmental dependence of galaxy properties between blue late-types and red late-types

✍ X.F. Deng; Y. Xin; P. Jiang; P. Wu; C.H. Luo 📂 Article 📅 2010 🏛 John Wiley and Sons 🌐 English ⚖ 279 KB

## Abstract Using the volume‐limited Main galaxy sample of the Sloan Digital Sky Survey Data Release 6 (SDSS DR6), we investigate the difference of the environmental dependence of galaxy properties between blue late‐types and red late‐types, and find that the galaxy luminosity and concentration ind

Frequency dependent diameters and atmosp

Frequency dependent diameters and atmospheric structure of late-type supergiants

✍ M. S. Vardya 📂 Article 📅 1977 🏛 Springer Netherlands 🌐 English ⚖ 95 KB