Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis
Proof-relevant Horn Clauses for Dependent Type Inference and Term Synthesis
复制标题
用于依赖类型推理和术语综合的证明相关 Horn 子句
DOI：
10.1017/s1471068418000212
复制
发表时间：
2018
影响因子：
1.4
通讯作者：
FARKA F
中科院分区：
文献类型：
--
作者：
FARKA F
登录
查看更多内容
核心递归类型类解析的共归纳健全性
DOI：
--
发表时间：
2016
期刊：
International Workshop/Symposium on Logic-based Program Synthesis and Transformation
影响因子：
--
作者：
František Farka;Ekaterina Komendantskaya;K. Hammond
通讯作者：
K. Hammond
第十届 ACM SIGPLAN Haskell 国际研讨会论文集，英国牛津，2017 年 9 月 7-8 日
DOI：
--
发表时间：
2017
期刊：
ACM SIGPLAN Symposium/Workshop on Haskell
影响因子：
--
作者：
Ki;Young A. Kim;Jongjin Kim;H. J. Oh;Jeong Hwan Park;I. Choi;Jin Hyun Park;Sohee Oh;A. Chu;Jong Yoon Lee;K. Hwang
通讯作者：
K. Hwang
证明相关的核心递归解析
DOI：
--
发表时间：
2015
期刊：
Fuji International Symposium on Functional and Logic Programming
影响因子：
--
作者：
Peng Fu;Ekaterina Komendantskaya;Tom Schrijvers;Andrew Pond
通讯作者：
Andrew Pond
DOI：
10.1145/1042038.1042041
发表时间：
2001-10
期刊：
ACM Trans. Comput. Log.
影响因子：
--
作者：
R. Harper;F. Pfenning
通讯作者：
R. Harper;F. Pfenning
类型类：设计空间的探索
DOI：
--
发表时间：
1997
期刊：
影响因子：
--
作者：
S. Jones;Mark P. Jones;E. Meijer
通讯作者：
E. Meijer