Write a Blog >>
POPL 2021
Sun 17 - Fri 22 January 2021 Online
Xuanrui Qi

Registered user since Mon 31 Jul 2017

Name: Xuanrui Qi

Bio: I am a graduate student at the Graduate School of Mathematics, Nagoya University. Previously, I received a B.S. and a M.S., both in computer science, from Tufts University.

Country: Japan

Affiliation: Nagoya University

Personal website: https://www.xuanruiqi.com

Research interests: Dependent types, proof assistants, functional programming languages, formal methods

Contributions

CoqPL 2021 Towards a Coq Specification for Generalized Algebraic Datatypes in OCaml
Show activities from other conferences

POPL 2021-profile
View general profile