Yong Luo

Publication Activity (10 Years)

Years Active: 2001-2005
Publications (10 Years): 0

Durham University, UK (PHD)

Education History

Durham University, UK

PHD

Publications

Zhaohui Luo, Yong Luo
Transitivity in coercive subtyping. Inf. Comput. 197 (1-2) (2005)
Yong Luo, Zhaohui Luo
Combining Incoherent Coercions for Sigma-Types. TYPES (2003)
Yong Luo, Zhaohui Luo, Sergei Soloviev
Weak Transitivity in Coercive Subtyping. TYPES (2002)
Yong Luo, Zhaohui Luo
Coherence and Transitivity in Coercive Subtyping. LPAR (2001)