PLDI '88 Proceedings of the ACM SIGPLAN 1988 conference on Programming Language design and Implementation
Partial polymorphic type inference and higher-order unification
LFP '88 Proceedings of the 1988 ACM conference on LISP and functional programming
The ergo support system: an integrated set of tools for prototyping integrated environments
SDE 3 Proceedings of the third ACM SIGSOFT/SIGPLAN software engineering symposium on Practical software development environments
Type inference in the presence of type abstraction
PLDI '89 Proceedings of the ACM SIGPLAN 1989 Conference on Programming language design and implementation
Categorial semantics and scoping
Computational Linguistics
Journal of the ACM (JACM)
Unification-based semantic interpretation
ACL '89 Proceedings of the 27th annual meeting on Association for Computational Linguistics
Monadic concurrent linear logic programming
PPDP '05 Proceedings of the 7th ACM SIGPLAN international conference on Principles and practice of declarative programming
A typed higher-order calculus for querying XML databases
ADC '08 Proceedings of the nineteenth conference on Australasian database - Volume 75
Hi-index | 0.00 |