POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Bounded quantification is undecidable
POPL '92 Proceedings of the 19th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
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
Intersection types and bounded polymorphism
Mathematical Structures in Computer Science
Anti-symmetry of higher-order subtyping and equality by subtyping
Mathematical Structures in Computer Science
Ott: Effective tool support for the working semanticist
Journal of Functional Programming
| Hi-index | 0.00 |