We stand with Ukraine  

Yong Luo

Affiliations:
  • University of London, Department of Computer Science, Egham, Surrey, UK
  • University of Durham, Department of Computer Science, UK (PhD 2004)


According to our database1, Yong Luo authored at least 5 papers between 2001 and 2005.

Collaborative distances:
  • Dijkstra number2 of five.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2005
Transitivity in coercive subtyping.
[BibTeX]
[DOI]
Zhaohui Luo
,
Yong Luo
Inf. Comput., 2005

2004
Coherence and transitivity in coercive subtyping.
[BibTeX]
[DOI]
Yong Luo
PhD thesis, 2004

2003
Combining Incoherent Coercions for Sigma-Types.
[BibTeX]
[DOI]
Yong Luo
,
Zhaohui Luo
Proceedings of the Types for Proofs and Programs, International Workshop, 2003

2002
Weak Transitivity in Coercive Subtyping.
[BibTeX]
[DOI]
Yong Luo
,
Zhaohui Luo
,
Sergei Soloviev
Proceedings of the Types for Proofs and Programs, Second International Workshop, 2002

2001
Coherence and Transitivity in Coercive Subtyping.
[BibTeX]
[DOI]
Yong Luo
,
Zhaohui Luo
Proceedings of the Logic for Programming, 2001


  Loading...