Type declarations as subtype constraints in logic programming
PLDI '90 Proceedings of the ACM SIGPLAN 1990 conference on Programming language design and implementation
Logic programming with typed unification and its realization on an abstract machine
IBM Journal of Research and Development
Using Modes to Ensure Subject Reduction for Typed Logic Programs with Subtyping
FST TCS 2000 Proceedings of the 20th Conference on Foundations of Software Technology and Theoretical Computer Science
Parametric types for typed attribute-value logic
COLING '98 Proceedings of the 17th international conference on Computational linguistics - Volume 2
Typing constraint logic programs
Theory and Practice of Logic Programming
Hi-index | 0.00 |