GADTs, Functoriality, Parametricity: Pick Two
GADTs, Functoriality, Parametricity: Pick Two
复制标题
GADT、函数性、参数性：选择两个
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
and Jeffries, D.
中科院分区：
文献类型：
--
作者：
Johann, P.;Ghiorzi, E.;and 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
初始代数语义就足够了！
DOI：
--
发表时间：
2007
期刊：
International Conference on Typed Lambda Calculus and Applications
影响因子：
--
作者：
Patricia Johann;Neil Ghani
通讯作者：
Neil Ghani
广义代数数据类型的分层类型推断
影响因子：
0.6
作者：
F. Pottier;Yann Régis
通讯作者：
Yann Régis
原始嵌套类型的参数化
DOI：
10.26226/morressier.604907f41a80aac83ca25cb5
发表时间：
2021
期刊：
Lecture notes in computer science
影响因子：
--
作者：
Johann, P;Ghiorzi, E.;Jeffries, D.
通讯作者：
Jeffries, D.
计算左 Kan 扩展
影响因子：
0.7
作者：
Michael R. Bush;M. Leeming;R. Walters
通讯作者：
R. Walters