1![](/pdf-icon.png) | Add to Reading ListSource URL: klmp.issp.ac.cnLanguage: English - Date: 2008-11-26 01:34:50
|
---|
2![Polytypic Programming in Coq Wendy Verbruggen ∗ Edsko de Vries Arthur Hughes Polytypic Programming in Coq Wendy Verbruggen ∗ Edsko de Vries Arthur Hughes](https://www.pdfsearch.io/img/120cf2c8e5152a2728de96297b4024ba.jpg) | Add to Reading ListSource URL: www.edsko.netLanguage: English - Date: 2016-08-02 06:27:04
|
---|
3![Polytypic Properties and Proofs in Coq Wendy Verbruggen ∗ Edsko de Vries † Arthur Hughes Polytypic Properties and Proofs in Coq Wendy Verbruggen ∗ Edsko de Vries † Arthur Hughes](https://www.pdfsearch.io/img/1a48210372c42b7f1a1309af631c696e.jpg) | Add to Reading ListSource URL: www.edsko.netLanguage: English - Date: 2016-08-02 06:27:04
|
---|
4![Lightweight Polytypic Staging of DSLs in Scala (meta 2012) Lightweight Polytypic Staging of DSLs in Scala (meta 2012)](https://www.pdfsearch.io/img/760938381df3df11cd56ed2019225c36.jpg) | Add to Reading ListSource URL: meta2012.pereslavl.ruLanguage: English - Date: 2012-08-19 16:00:00
|
---|
5![Lightweight Polytypic Staging of DSLs in Scala (meta 2012) Lightweight Polytypic Staging of DSLs in Scala (meta 2012)](https://www.pdfsearch.io/img/0c19ccf2404c78d7eb4c512dec847b73.jpg) | Add to Reading ListSource URL: meta2012.pereslavl.ruLanguage: 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 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](https://www.pdfsearch.io/img/23e85f720c8edf93e8eb0b785e34927c.jpg) | Add to Reading ListSource URL: hydrodictyon.eeb.uconn.eduLanguage: English - Date: 2013-08-28 11:22:34
|
---|