Dependently typed programming
Dependently typed programming
复制标题
依赖类型编程
DOI：
--
复制
发表时间：
2013
期刊：
影响因子：
--
通讯作者：
Stephanie Weirich
中科院分区：
文献类型：
--
作者：
Shin;Conor McBride;Stephanie Weirich
在塔林的工作室有保罗B。Levy和Aleksandar Nanevski作为特邀演讲人。Lennart Augustsson和Xavier Leroy应邀在伯明翰举行了会谈。在这两种情况下，TYPES联合体的成员和项目外感兴趣的研究人员都提供了发言。该期刊登了三篇关于讲习班主题的文章。这三个例子都表明，依赖类型编程的新兴技术既吸引人又实用。我们感谢我们的作者和裁判的辛勤工作。我们在塔林和诺丁汉的同事为组织这两项活动提供了帮助，值得感谢。
The workshop in Tallinn had Paul B. Levy and Aleksandar Nanevski as invited speakers. In Notting-ham, invited talks were delivered by Lennart Augustsson and Xavier Leroy. Contributed talks were in both instances given by both members of the TYPES consortium and interested researchers from outside the project. The issue features three articles on the topics of the workshops. All three demonstrate that the emerging technology of dependently typed programming is both engaging and practical. We thank our authors and referees for their diligent work. Our colleagues in Tallinn and Nottingham deserve thanks for their help in organizing the two events.