Deeper Shallow Embeddings
Deeper Shallow Embeddings
复制标题
更深浅的嵌入
DOI：
--
复制
发表时间：
2022
期刊：
影响因子：
--
通讯作者：
Lampropoulos, Leonidas
中科院分区：
文献类型：
--
作者：
Prinz, Jacob;Kavvos, G. A.;Lampropoulos, Leonidas
登录
查看更多内容
会话类型的基础知识
影响因子：
1
作者：
V. Vasconcelos
通讯作者：
V. Vasconcelos
Haskell 中的手机游戏编程
DOI：
--
发表时间：
2019
期刊：
FARM@ICFP
影响因子：
--
作者：
Christina Zeller;Ivan Perez
通讯作者：
Ivan Perez
索引归纳递归
DOI：
--
发表时间：
2001
期刊：
J. Log. Algebraic Methods Program.
影响因子：
--
作者：
P. Dybjer;A. Setzer
通讯作者：
A. Setzer
影响因子：
--
作者：
J. Gibbons;Nicolas Wu
通讯作者：
J. Gibbons;Nicolas Wu
DOI：
10.1145/2837614.2837638
发表时间：
2016-01
期刊：
Proceedings of the 43rd Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
Thorsten Altenkirch;A. Kaposi
通讯作者：
Thorsten Altenkirch;A. Kaposi