Author:
Costa Vítor Santos,Warren David H. D.,Yang Rong
Cited by
17 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献
1. Constraint-logic object-oriented programming on the Java virtual machine;Proceedings of the 37th ACM/SIGAPP Symposium on Applied Computing;2022-04-25
2. Parallel type-checking with haskell using saturating LVars and stream generators;Proceedings of the 21st ACM SIGPLAN Symposium on Principles and Practice of Parallel Programming;2016-02-27
3. Coalgebraic Semantics for Derivations in Logic Programming;Algebra and Coalgebra in Computer Science;2011
4. Prolog Performance on Larger Datasets;Practical Aspects of Declarative Languages;2006
5. Determinacy Analysis for Logic Programs Using Mode and Type Information;Logic Based Program Synthesis and Transformation;2005