Type Theory as a Language Workbench
Type Theory as a Language Workbench
复制标题
作为语言工作台的类型理论
DOI：
--
复制
发表时间：
2023
期刊：
影响因子：
--
通讯作者：
De Muijnck-Hughes J
中科院分区：
文献类型：
--
作者：
De Muijnck-Hughes J
登录
查看更多内容
DOI：
10.1145/2951913.2951932
发表时间：
2016-09
期刊：
Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming
影响因子：
--
作者：
D. Christiansen;Edwin C. Brady
通讯作者：
D. Christiansen;Edwin C. Brady
高级函数式编程，第六届国际学校，AFP 2008，修订讲座
DOI：
--
发表时间：
2008
期刊：
影响因子：
--
作者：
P. Koopman;R. Plasmeijer;D. Swierstra
通讯作者：
D. Swierstra
依赖类型的练习：类型良好的解释器
DOI：
--
发表时间：
1999
期刊：
影响因子：
--
作者：
L. Augustsson;M. Carlsson
通讯作者：
M. Carlsson
内置类型被视为归纳族
DOI：
--
发表时间：
2023
期刊：
--
影响因子：
--
作者：
Guillaume Allais
通讯作者：
Guillaume Allais
本质类型定义解释器 à la carte
DOI：
--
发表时间：
2022
期刊：
Proc. ACM Program. Lang.
影响因子：
--
作者：
Cas van der Rest;Casper Bach Poulsen;A. Rouvoet;E. Visser;Peter D. Mosses
通讯作者：
Peter D. Mosses