Följ
Xuanrui Qi
Xuanrui Qi
Graduate student, Graduate School of Mathematics, Nagoya University
Verifierad e-postadress på math.nagoya-u.ac.jp - Startsida
Titel
Citeras av
Citeras av
År
Proving tree algorithms for succinct data structures
R Affeldt, J Garrigue, X Qi, K Tanaka
arXiv preprint arXiv:1904.02809, 2019
42019
Towards a Coq specification for generalized algebraic datatypes in OCaml
X Qi, J Garrigue
Presentation at CoqPL 21, 2021
12021
Formalizing OCaml GADT typing in Coq
X Qi, J Garrigue
2021
Type theory and the logic of toposes
X Qi
School of Mathematics, Nagoya University, 2021
2021
Introduction to topological K-theory
X Qi
2020
簡潔データ構造における木構造アルゴリズムの形式証明について
R Affeldt, J Garrigue, X Qi, K Tanaka
日本ソフトウェア科学会大会論文集 35, 221-233, 2018
2018
Experience Report: Type-Driven Development of Certified Tree Algorithms in Coq
R Affeldt, J Garrigue, X Qi, K Tanaka
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Artiklar 1–7