Products and polymorphic subtypes
Fundamenta Informaticae
Anti-Symmetry of Higher-Order Subtyping
CSL '99 Proceedings of the 13th International Workshop and 8th Annual Conference of the EACSL on Computer Science Logic
The subtyping problem for second-order types is undecidable
Information and Computation
The Subtyping Problem for Second-Order Types is Undecidable
LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science
Anti-symmetry of higher-order subtyping and equality by subtyping
Mathematical Structures in Computer Science
Products and Polymorphic Subtypes
Fundamenta Informaticae - Concurrency Specification and Programming Workshop (CS&P'2001)
Hi-index | 0.00 |