依赖型理论中一元CSP型过程的编程

巴沙尔·伊格瑞德,安东·塞泽尔.依赖型理论中一元CSP型过程的编程.詹姆斯·查普曼,沃特·斯威斯特拉,编辑,第一届类型驱动发展国际研讨会会议记录,泰德@ICFP2016年9月18日,日本奈良.28-38、ACM、,2016 [美国国防部]

摘要

缺少摘要。