Type classes with more higher-order polymorphism
Proceedings of the seventh ACM SIGPLAN international conference on Functional programming
Managing Structural Information by Higher-Order Colored Unification
Journal of Automated Reasoning
Higher Order Unification 30 Years Later
TPHOLs '02 Proceedings of the 15th International Conference on Theorem Proving in Higher Order Logics
Higher-order unification and matching
Handbook of automated reasoning
Bidirectional contextual resolution
Computational Linguistics
Higher-Order Coloured Unification and natural language semantics
ACL '96 Proceedings of the 34th annual meeting on Association for Computational Linguistics
Focus and Higher-Order Unification
COLING '96 Proceedings of the 16th conference on Computational linguistics - Volume 1
Tractable and intractable second-order matching problems
COCOON'99 Proceedings of the 5th annual international conference on Computing and combinatorics
Hi-index | 0.00 |