Parametricity for Primitive Nested Types
Parametricity for Primitive Nested Types
复制标题
原始嵌套类型的参数化
DOI：
10.26226/morressier.604907f41a80aac83ca25cb5
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
Jeffries, D.
中科院分区：
文献类型：
--
作者：
Johann, P;Ghiorzi, E.;Jeffries, D.
登录
查看更多内容
DOI：
10.1007/978-3-030-45231-5_18
发表时间：
2020-04-17
期刊：
Foundations of Software Science and Computation Structures
影响因子：
--
作者：
Johann P;Polonsky A
通讯作者：
Polonsky A
高阶和嵌套数据类型的迭代和共迭代方案
影响因子：
1.1
作者：
Andreas Abel;R. Matthes;Tarmo Uustalu
通讯作者：
Tarmo Uustalu
Strathprints 机构存储库使用嵌套类型进行 Haskell 编程：高阶和符号计算，第 155-189 页。
DOI：
--
发表时间：
--
期刊：
影响因子：
--
作者：
Neil Ghani;Johann;Patricia;Patricia Johann
通讯作者：
Patricia Johann
受保护的递归数据类型构造函数
DOI：
10.1145/604131.604150
发表时间：
2003
期刊：
Proceedings of the 2007 workshop on Programming languages meets program verification
影响因子：
--
作者：
H. Xi;Chiyan Chen;Gang Chen
通讯作者：
Gang Chen
高级类型的关系参数性
影响因子：
22.7
作者：
R. Atkey
通讯作者：
R. Atkey