Volgen
Xuanrui Qi
Xuanrui Qi
Graduate student, Graduate School of Mathematics, Nagoya University
Geverifieerd e-mailadres voor math.nagoya-u.ac.jp - Homepage
Titel
Geciteerd door
Geciteerd door
Jaar
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
Het systeem kan de bewerking nu niet uitvoeren. Probeer het later opnieuw.
Artikelen 1–7