Deriving backtracking monad transformers
ICFP '00 Proceedings of the fifth ACM SIGPLAN international conference on Functional programming
The witness properties and the semantics of the Prolog cut
Theory and Practice of Logic Programming
Toward the Concept of Backtracking Computation
Electronic Notes in Theoretical Computer Science (ENTCS)
Automated termination analysis for logic programs with cut*
Theory and Practice of Logic Programming
Proofs you can believe in: proving equivalences between Prolog semantics in Coq
Proceedings of the 15th Symposium on Principles and Practice of Declarative Programming
Hi-index | 0.00 |