[ACM Press the 8th ACM SIGPLAN International Conference - Cascais, Portugal (2019.01.14-2019.01.15)] Proceedings of the 8th ACM SIGPLAN International Conference on Certified Programs and Proofs - CPP 2019 - Eliminating reflection from type theory
- 作者Winterhalter, Théo; Sozeau, Matthieu; Tabareau, Nicolas
- 文件大小962.30KB
- 发表时间2019
- DOI10.1145/3293880.3294095
- 页码91-103
Modeling Autistic Features in AnimalsPATTERSON, PAUL H. · Pediatric Research · 2011
Systems biology and pediatric researchMinoo, Parviz; Wolkenhauer, Olaf; Guttentag, Susan · Pediatric Research · 2013
Genetic Influences on Social CognitionSKUSE, DAVID H.; GALLAGHER, LOUISE · Pediatric Research · 2011
Antioxidant Properties of Human ColostrumBuescher, E S; McIlheran, S M · Pediatric Research · 1988
A Review: Human Erythrocyte AcetylcholinesteraseHerz, Fritz; Kaplan, Eugene · Pediatric Research · 1973
Epigenetics and MicroRNAsChuang, Jody C; Jones, Peter A · Pediatric Research · 2007
The Evolution of NeonatologyPhilip, Alistair G S · Pediatric Research · 2005
Mechanisms and Disturbances of Neuronal MigrationGressens, Pierre · Pediatric Research · 2000