Author:
Mycroft Alan,O'Keefe Richard A.
Subject
Artificial Intelligence,Linguistics and Language,Language and Linguistics
Reference9 articles.
1. Contributions to the theory of logic programming;Apt;J. ACM,1982
2. HOPE: an experimental applicative langauge;Burstall,1980
3. A metalanguage for interactive proof in LCF;Gordon,1978
4. A theory of type polymorphism in programming;Milner;J. Comput. System Sci.,1978
Cited by
158 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Fifty Years of Prolog and Beyond;Theory and Practice of Logic Programming;2022-05-17
2. Typed SLD-Resolution: Dynamic Typing for Logic Programming;Logic-Based Program Synthesis and Transformation;2022
3. Data Type Inference for Logic Programming;Logic-Based Program Synthesis and Transformation;2022
4. VeriFly: On-the-fly Assertion Checking via Incrementality;Theory and Practice of Logic Programming;2021-11
5. Effectiveness of Annotation-Based Static Type Inference;Functional and Constraint Logic Programming;2021