Healfdene Goguen
-
Typed operational semantics for higher-order subtyping
Information and Computation
Dependent record types revisited
Proceedings of the 1st Workshop on Modules and Libraries for Proof Assistants