The Proviso Problem from a Proof-Theoretic Perspective
The Proviso Problem from a Proof-Theoretic Perspective
复制标题
从证明理论的角度来看附带问题
DOI：
--
复制
发表时间：
2021
期刊：
影响因子：
--
通讯作者：
and Daisuke Bekki
中科院分区：
文献类型：
--
作者：
Yukiko Yana;Koji Mineshima;and Daisuke Bekki
登录
查看更多内容
简单对象的完整类型推断
DOI：
--
发表时间：
1987
期刊：
Logic in Computer Science
影响因子：
--
作者：
M. Wand
通讯作者：
M. Wand
静态类型语言中的动态类型
DOI：
--
发表时间：
1989
期刊：
ACM-SIGACT Symposium on Principles of Programming Languages
影响因子：
--
作者：
M. Abadi;L. Cardelli;B. Pierce;G. Plotkin
通讯作者：
G. Plotkin
具有扩展模式匹配和子类型的机器学习
DOI：
10.1145/62678.62702
发表时间：
1988
期刊：
LISP and Functional Programming
影响因子：
--
作者：
L. Jagadeesan;John C. Mitchell
通讯作者：
John C. Mitchell
DOI：
--
发表时间：
1980
期刊：
Semantics-Directed Compiler Generation
影响因子：
--
作者：
J. C. Reynolds
通讯作者：
J. C. Reynolds
标准机器学习的评论
DOI：
--
发表时间：
1990
期刊：
影响因子：
--
作者：
R. Milner;M. Tofte
通讯作者：
M. Tofte