On the occur-check-free PROLOG programs
ACM Transactions on Programming Languages and Systems (TOPLAS)
Multi-pass execution of functional logic programs
POPL '94 Proceedings of the 21st ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Declarative language extensions for prolog courses
Proceedings of the 2008 international workshop on Functional and declarative programming in education
Hi-index | 0.00 |