𝔖 Bobbio Scriptorium
✦   LIBER   ✦

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

✍ Scribed by Sébastien Carlier; J.B. Wells


Book ID
108126516
Publisher
Elsevier Science
Year
2005
Tongue
English
Weight
467 KB
Volume
136
Category
Article
ISSN
1571-0661

No coin nor oath required. For personal study only.


📜 SIMILAR VOLUMES


Compound heterozygosity for a disease-ca
✍ Giunta, Cecilia; Steinmann, Beat 📂 Article 📅 2000 🏛 John Wiley and Sons 🌐 English ⚖ 55 KB 👁 1 views

The classical type of Ehlers-Danlos syndrome (EDS) is an autosomal dominant connective tissue disorder characterized by skin hyperelasticity, tissue fragility, and joint hypermobility. We investigated the molecular defect of EDS in a three-generation family. Cultured dermal fibroblasts from the prop