Polytypic - PDFSEARCH.IO - Document Search Engine

Polytypic
Results: 6

#	Item
1	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 Add to Reading List Source URL: klmp.issp.ac.cn Language: English - Date: 2008-11-26 01:34:50
2	Polytypic Programming in Coq Wendy Verbruggen ∗ Edsko de Vries Arthur Hughes Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Software engineering Type theory Declarative programming Computing Generic programming Polytypic Polymorphism Map Lambda calculus Dependent type Fold CurryHoward correspondence
3	Polytypic Properties and Proofs in Coq Wendy Verbruggen ∗ Edsko de Vries † Arthur Hughes Add to Reading List Source URL: www.edsko.net Language: English - Date: 2016-08-02 06:27:04 Type theory Generic programming Polytypic NP Polymorphism Functor Dependent type Map
4	Lightweight Polytypic Staging of DSLs in Scala (meta 2012) Add to Reading List Source URL: meta2012.pereslavl.ru Language: English - Date: 2012-08-19 16:00:00
5	Lightweight Polytypic Staging of DSLs in Scala (meta 2012) Add to Reading List Source URL: meta2012.pereslavl.ru Language: English - Date: 2012-08-19 16:00:00
6	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 Add to Reading List Source URL: hydrodictyon.eeb.uconn.edu Language: English - Date: 2013-08-28 11:22:34 Science Scientific classification Chronospecies Cryptic species complex Species Superspecies Sibling species Ring species Subspecies Speciation Biology Evolutionary biology

UPDATE