Typechecking dependent types and subtypes

Structural subtyping and the notion of power type

POPL '88 Proceedings of the 15th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Subtyping dependent types

Theoretical Computer Science

Coercive subtyping for the calculus of constructions

POPL '03 Proceedings of the 30th ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Subtyping Dependent Types

LICS '96 Proceedings of the 11th Annual IEEE Symposium on Logic in Computer Science

Type checking dependent (record) types and subtyping

Journal of Functional Programming

Type inference for atomicity

TLDI '05 Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation

Hybrid type checking

Conference record of the 33rd ACM SIGPLAN-SIGACT symposium on Principles of programming languages

Types for safe locking: Static race detection for Java

ACM Transactions on Programming Languages and Systems (TOPLAS)

Type inference against races

Science of Computer Programming

Types for atomicity: Static checking and inference for Java

ACM Transactions on Programming Languages and Systems (TOPLAS)

Typing in Model Management

ICMT '09 Proceedings of the 2nd International Conference on Theory and Practice of Model Transformations

Refinement types for secure implementations

ACM Transactions on Programming Languages and Systems (TOPLAS)

Typing artifacts in megamodeling

Software and Systems Modeling (SoSyM)