首页    期刊浏览 2024年11月25日 星期一
登录注册

文章基本信息

  • 标题: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...
联系我们|关于我们|网站声明
国家哲学社会科学文献中心版权所有