An Implementation of LF with Coercive Subtyping & Universes
Journal of Automated Reasoning
Coherence and Transitivity in Coercive Subtyping
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Soundness of the Logical Framework for Its Typed Operational Semantics
TLCA '99 Proceedings of the 4th International Conference on Typed Lambda Calculi and Applications
Implementation Techniques for Inductive Types in Plastic
TYPES '99 Selected papers from the International Workshop on Types for Proofs and Programs
A Kripke-Style Model for the Admissibility of Structural Rules
TYPES '00 Selected papers from the International Workshop on Types for Proofs and Programs
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
Type checking dependent (record) types and subtyping
Journal of Functional Programming
Anti-symmetry of higher-order subtyping and equality by subtyping
Mathematical Structures in Computer Science
A theory of contracts for web services
Proceedings of the 35th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages
A theory of contracts for Web services
ACM Transactions on Programming Languages and Systems (TOPLAS)
Contract-Based Discovery and Adaptation of Web Services
Formal Methods for Web Services
Weak transitivity in coercive subtyping
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
| Hi-index | 0.00 |