On polymorphic gradual typing
- 期刊名称Proceedings of the ACM on Programming Languages
- 作者Igarashi, Yuu; Sekiyama, Taro; Igarashi, Atsushi
- 卷第1卷
- 电子ISSN2475-1421
- 文件大小416.12KB
- 发表时间2017-08-29
- DOI10.1145/3110284
- 页码1-29
同期刊推荐
Introduction to Restoration EcologyBakker, Jonathan D. · Restoration Ecology · 2012
Arrival ≠ SurvivalReid, J. Leighton; Holl, Karen D. · Restoration Ecology · 2013
Hidden Costs of Passive RestorationZahawi, Rakan A.; Reid, John L.; Holl, Karen D. · Restoration Ecology · 2014
Intelligent Tinkering in Ecological RestorationMurcia, Carolina; Aronson, James · Restoration Ecology · 2014
Restoring Tropical Forest: A Practical GuideLamb, David · Restoration Ecology · 2014
Invasion Ecology, 2nd editionGaertner, Mirijam · Restoration Ecology · 2014
Ecorestoration of the Coalmine Degraded LandsSingh, Kripal · Restoration Ecology · 2014
Marine Community Ecology and ConservationOlsen, Jeanine L. · Restoration Ecology · 2014