文章基本信息
- 标题:Dependently typed programming
- 作者:Shin-CHENG MU ; Conor MCBRIDE ; Stephanie WEIRICH 等
- 期刊名称:Progress in Informatics
- 印刷版ISSN:1349-8614
- 电子版ISSN:1349-8606
- 出版年度:2013
- 期号:10
- 页码:149-155
- DOI:10.2201/NiiPi.2013.10.8
- 出版社:National Institute of Informatics
- 摘要:No abstract.
- 关键词:No keyword.
Loading...