Type checking higher-order polymorphic multi-methods
Proceedings of the 24th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Constraints in computational logics
Satisfying subtype inequalities in polynomial space
Theoretical Computer Science
Type inference for variant object types
Information and Computation - FOOL VII
Complexity of subtype satisfiability over posets
ESOP'05 Proceedings of the 14th European conference on Programming Languages and Systems
Resolving plural ambiguities by type reconstruction
FG'10/FG'11 Proceedings of the 15th and 16th international conference on Formal Grammar
Satisfiability of Inequalities in a Poset
Fundamenta Informaticae
Hi-index | 0.00 |