Jinxu Zhao

Year 4 Ph.D. Student. Under the supervision of Bruno C. d. S. Oliveira

Dept. of Computer Science, The University of Hong Kong

Office: CB426, Chow Yei Chin Building, The University of Hong Kong, Pokfulam Road, Hong Kong

Email: jxzhao _a_t_ cs.hku.hk


A Mechanical Formalization of Higher-Ranked Polymorphic Type Inference
Zhao Jinxu, Bruno C. d. S. Oliveira, Tom Schrijvers.

In 24th International Conference on Functional Programming (ICFP 2019). Distinguished Paper August 2019

Formalization of a Polymorphic Subtyping Algorithm
Jinxu Zhao, Bruno C. d. S. Oliveira and Tom Schrijvers.

In 9th International Conference on Interactive Theorem Proving (ITP 2018). July 2018