Läser in ...
Systemet kan inte utföra åtgärden just nu. Försök igen senare.
Citat per år
Dubblettcitat
Följande artiklar är sammanfogade i Scholar. Deras
kombinerade citat
räknas endast för den första artikeln.
Sammanfogade citat
Antalet "Citeras av" inkluderar citat till följande artiklar i Scholar. Stjärnmärkta
*
citat kan skilja sig från artikeln i profilen.
Lägg till medförfattare
Medförfattare
Följ
Nya artiklar av denna författare
Nya källreferenser till denna författare
Nya artiklar relaterade till denna författares forskning
E-postadress för uppdateringar
Klar
Min profil
Mitt bibliotek
Statistik
Meddelande
Inställningar
Logga in
Logga in
Skapa en profil
Citeras av
Alla
Sedan 2019
Citat
5
5
h-index
1
1
i10-index
0
0
0
2
1
2019
2020
2021
2022
2023
1
1
2
1
Medförfattare
Jacques Garrigue
Professor, Graduate School of Mathematics, Nagoya University
Verifierad e-postadress på math.nagoya-u.ac.jp
Följ
Xuanrui Qi
Graduate student, Graduate School of Mathematics,
Nagoya University
Verifierad e-postadress på math.nagoya-u.ac.jp -
Startsida
Programming languages
Artiklar
Citeras av
Medförfattare
Titel
Sortera
Sortera efter citat
Sortera efter år
Sortera efter 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
4
2019
Towards a Coq specification for generalized algebraic datatypes in OCaml
X Qi, J Garrigue
Presentation at CoqPL 21
, 2021
1
2021
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
Visa fler
Integritet
Villkor
Hjälp
Om Scholar
Sök i hjälpen