Foundations for the implementation of higher-order subtyping
ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
POPL '98 Proceedings of the 25th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ACM Transactions on Programming Languages and Systems (TOPLAS)
Information and Computation - FOOL V
Coercive subtyping for the calculus of constructions
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
ECOOP '99 Proceedings of the 13th European Conference on Object-Oriented Programming
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
Typed operational semantics for higher-order subtyping
Information and Computation
Higher-order subtyping and its decidability
Information and Computation
Anti-symmetry of higher-order subtyping and equality by subtyping
Mathematical Structures in Computer Science
An object-oriented approach to datatype-generic programming
Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming
Towards a mechanized metatheory of standard ML
Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Syntactic Metatheory of Higher-Order Subtyping
CSL '08 Proceedings of the 22nd international workshop on Computer Science Logic
Proceedings of the 23rd ACM SIGPLAN conference on Object-oriented programming systems languages and applications
Coherence of subsumption for monadic types
Journal of Functional Programming
Full abstraction in a subtyped pi-calculus with linear types
CONCUR'11 Proceedings of the 22nd international conference on Concurrency theory
Polarized subtyping for sized types
CSR'06 Proceedings of the First international computer science conference on Theory and Applications
Hi-index | 5.23 |