Polymorphic type inference and assignment
POPL '91 Proceedings of the 18th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Typed Sets as a Basis for Object-Oriented Database Schemas
ECOOP '93 Proceedings of the 7th European Conference on Object-Oriented Programming
An Extensible Type System for Component-Based Design
TACAS '00 Proceedings of the 6th International Conference on Tools and Algorithms for Construction and Analysis of Systems: Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000
ACM SIGPLAN Notices - Best of PLDI 1979-1999
Typing constraint logic programs
Theory and Practice of Logic Programming
Proceedings of the 9th International Conference on Principles and Practice of Programming in Java
Extending hindley-milner type inference with coercive structural subtyping
APLAS'11 Proceedings of the 9th Asian conference on Programming Languages and Systems
Hi-index | 0.00 |