文章基本信息

标题：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.