Coercive subtyping: Theory and implementation

The Coq proof assistant : reference manual, version 6.1

Bruno Barras, Samuel Boutin, Cristina Cornes et al. · OpenGrey (Institut de l'Information Scientifique et Technique) · 1997 · 989 citations · Full text

Computing, Computer Science, Mathematics +15

Computation and reasoning: a type theory for computer science

Choice Reviews Online · 1995 · 243 citations

Computing, Computer Science, Logic +16

Coercion and type inference

John C. Mitchell · 1984 · 206 citations · Full text

Computing, Computer Science, Algorithms +14

Type inference with simple subtypes

John C. Mitchell · Journal of Functional Programming · 1991 · 139 citations · Full text

Computing, Computer Science, Algorithms +15

Formal semantics in modern type theories with coercive subtyping

Zhaohui Luo · Linguistics and Philosophy · 2012 · 96 citations

Computing, Computer Science, Formal Methods +15