Dr Tao Xue
Dr Tao Xue
Former student
Supervised by
Zhaohui Luo (Lead supervisor)
Department of Computer Science
1/10/08 → 21/05/13
Robin Adams
Department of Computer Science
1/10/11 → 21/05/13
- Unpublished
Theory and Implementation of Coercive Subtyping
Research output: Thesis › Doctoral Thesis
ID: 14131