Dynamic Typing with Dependent Types
作者
Yitzhak Mandelbaum, Xinming Ou, Gang Tan, David Walker
发表日期
2011/3/27
期刊
IFIP Advances in Information and Communication Technology (AICT)
卷号
155
期号
155
页码范围
437-450
引用总数
2004200520062007200820092010201120122013201420152016201720182019202020212022202320241145657811636121069491432
学术搜索中的文章
X Ou, G Tan, Y Mandelbaum, D Walker - Exploring New Frontiers of Theoretical Informatics: IFIP …, 2004