Publications of
Zhaohui Luo, Sergei Soloviev, Tao Xue
Coercive subtyping: Theory and implementation.
In : Information and Computation, Elsevier, Vol. 223, pp. 18-42, February 2013.
Coercion Completion and Conservativity in Coercive Subtyping
In : Annals of Pure and Applied Logic, Elsevier, Vol. 113 N. 1-3, pp. 297-322, January 2002.
Yong Luo, Zhaohui Luo, Sergei Soloviev
Weak transitivity in coercive subtyping
In : International Workshop, TYPES2002, Berg en Dal, The Netherlands, 24/04/02-28/04/02, Herman Geuvers, Freek Wiedijk (Eds.), Springer, LNCS 2646, pp. 220-239, April 2002.
Sergei Soloviev, Alex Jones, Zhaohui Luo
Some Algorithmic and Proof-Theoretical Aspects of CoerciveSubtyping.
In : Types for Proofs and Programs. International WorkshopTYPES’ 96, Aussois, France, 15/12/96-19/12/96, Eduardo Gimenez, Chr. Paulin-Mohring (eds), Springer,LNCS 1512 (1998), pp. 173-196, December 1996.