2006年本室为第一作者单位的文章 [1] Y. F. Hao, G. W. Meng, Z. L. Wang, C. Ye and L. D. Zhang Periodically twinned nanowires and polytypic nanobelts of ZnS: the role of mass diffusion in Vapor-Liquid-Solid gro

Source URL: klmp.issp.ac.cn

Polytypic Programming in Coq Wendy Verbruggen ∗ Edsko de Vries Arthur Hughes

Source URL: www.edsko.net

• Software engineering
• Type theory
• Declarative programming
• Computing
• Generic programming
• Polytypic
• Polymorphism
• Map
• Lambda calculus
• Dependent type
• Fold
• CurryHoward correspondence

Polytypic Properties and Proofs in Coq Wendy Verbruggen ∗ Edsko de Vries † Arthur Hughes

Source URL: www.edsko.net

• Type theory
• Generic programming
• Polytypic
• NP
• Polymorphism
• Functor
• Dependent type
• Map

Lightweight Polytypic Staging of DSLs in Scala (meta 2012)

Source URL: meta2012.pereslavl.ru

Lightweight Polytypic Staging of DSLs in Scala (meta 2012)

Source URL: meta2012.pereslavl.ru

Some Species-Level Terminology EEB 5347: Fall 2013 Monotypic: a species consisting of a single recognized morph. ex. Latimeria (coelocanth) Polytypic Species: a species comprising several subspecies or geographical segre

Source URL: hydrodictyon.eeb.uconn.edu

• Science
• Scientific classification
• Chronospecies
• Cryptic species complex
• Species
• Superspecies
• Sibling species
• Ring species
• Subspecies
• Speciation
• Biology
• Evolutionary biology