Coercive subtyping for the calculus of constructions
POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages
Coherence and Transitivity in Coercive Subtyping
LPAR '01 Proceedings of the Artificial Intelligence on Logic for Programming
Mathematical Vernacular and Conceptual Well-Formedness in Mathematical Language
LACL '97 Selected papers from the Second International Conference on Logical Aspects of Computational Linguistics
Type checking dependent (record) types and subtyping
Journal of Functional Programming
Transitivity in coercive subtyping
Information and Computation
A computational view of implicit coercions in type theory
Mathematical Structures in Computer Science
Coercions in a polymorphic type system
Mathematical Structures in Computer Science
Manifest Fields and Module Mechanisms in Intensional Type Theory
Types for Proofs and Programs
Coercive subtyping in lambda-free logical frameworks
Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice
A theory of typed coercions and its applications
Proceedings of the 14th ACM SIGPLAN international conference on Functional programming
Transitivity in coercive subtyping
Information and Computation
Weak transitivity in coercive subtyping
TYPES'02 Proceedings of the 2002 international conference on Types for proofs and programs
TYPES'06 Proceedings of the 2006 international conference on Types for proofs and programs
Contextual analysis of word meanings in type-theoretical semantics
LACL'11 Proceedings of the 6th international conference on Logical aspects of computational linguistics
Coercive subtyping: Theory and implementation
Information and Computation
Hi-index | 0.00 |