Do be do be do
Do be do be do
复制标题
做是做是做
DOI：
10.1145/3009837.3009897
复制
发表时间：
2017
期刊：
影响因子：
--
通讯作者：
Lindley S
中科院分区：
文献类型：
--
作者：
Lindley S
登录
查看更多内容
类型推断、Haskell 和依赖类型
DOI：
--
发表时间：
2013
期刊：
影响因子：
--
作者：
Adam Gundry
通讯作者：
Adam Gundry
具有共同模式的有根据的递归：终止和生产力的统一方法
DOI：
--
发表时间：
2013
期刊：
ACM SIGPLAN International Conference on Functional Programming
影响因子：
--
作者：
Andreas Abel;B. Pientka
通讯作者：
B. Pientka
DOI：
--
发表时间：
2001
期刊：
Mathematical Foundations of Programming Semantics
影响因子：
--
作者：
G. Plotkin;J. Power
通讯作者：
J. Power
用箭头编程
DOI：
--
发表时间：
2004
期刊：
Advanced Functional Programming
影响因子：
--
作者：
John Hughes
通讯作者：
John Hughes
处理程序在行动
DOI：
10.1145/2500365.2500590
发表时间：
2013
期刊：
--
影响因子：
--
作者：
Kammar O
通讯作者：
Kammar O