Simplifying subtyping constraints: a theory
Information and Computation
Type Reconstruction for Functional Programs with Subtyping over a Lattice of Atomic Types
MFCS '99 Proceedings of the 24th International Symposium on Mathematical Foundations of Computer Science
Typing constraint logic programs
Theory and Practice of Logic Programming
Automatic discovery of covariant read-only fields
ACM Transactions on Programming Languages and Systems (TOPLAS)
Type checking evolving languages with MSOS
Semantics and algebraic specification
Hi-index | 0.00 |