×
Edit Profile (opens in new tab)

Xi, Hongwei

Co-Author Distance
Author ID: xi.hongwei Recent zbMATH articles by "Xi, Hongwei"
Published as: Xi, Hongwei
Documents Indexed: 24 Publications since 1988, including 1 Additional arXiv Preprint
1 Contribution as Editor
Co-Authors: 17 Co-Authors with 14 Joint Publications
327 Co-Co-Authors
all top 5

Co-Authors

11 single-authored
5 Chen, Chiyan
2 Andrews, Peter B.
2 Bishop, Matthew
2 Donnelly, Kevin P.
2 Issar, Sunil
2 Nesmith, Dan
2 Pfenning, Frank
2 Shi, Rui
1 Chen, Gang
1 Cui, Sa
1 Harper, Robert
1 Severi, Paula Gabriela
1 Sørensen, Morten Heine B.
1 Stump, Aron
1 van Raamsdonk, Femke
1 Wu, Hanwen
1 Zhu, Dengping
all top 5

Serials

2 Journal of Functional Programming
1 The Journal of Symbolic Logic
1 Journal of Nanjing University. Mathematical Biquarterly
1 Information and Computation
1 Journal of Automated Reasoning
1 Higher-Order and Symbolic Computation
1 Fundamenta Informaticae
1 Electronic Notes in Theoretical Computer Science

Fields

16 Computer science (68-XX)
12 Mathematical logic and foundations (03-XX)
1 General and overarching topics; collections (00-XX)
1 History and biography (01-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

16 Publications have been cited 183 times in 155 Documents Cited by ▼ Year ▼
Guarded recursive datatype constructors. Zbl 1321.68161
Xi, Hongwei; Chen, Chiyan; Chen, Gang
47
2003
TPS: A theorem-proving system for classical type theory. Zbl 0858.03017
Andrews, Peter B.; Bishop, Matthew; Issar, Sunil; Nesmith, Dan; Pfenning, Frank; Xi, Hongwei
20
1996
Perpetual reductions in \(\lambda\)-calculus. Zbl 0920.03024
van Raamsdonk, Femke; Severi, Paula; Sørensen, Morten Heine B.; Xi, Hongwei
19
1999
Combining programming with theorem proving. Zbl 1302.68241
Chen, Chiyan; Xi, Hongwei
17
2005
Applied type system (extended abstract). Zbl 1100.03518
Xi, Hongwei
17
2004
Dependent types for program termination verification. Zbl 1041.68059
Xi, Hongwei
12
2002
Dependent ML an approach to practical programming with dependent types. Zbl 1125.68033
Xi, Hongwei
11
2007
A dependently typed assembly language. Zbl 1323.68084
Xi, Hongwei; Harper, Robert
10
2001
Upper bounds for standardizations and an application. Zbl 0938.03027
Xi, Hongwei
7
1999
Meta-programming through typeful code representation. Zbl 1315.68038
Chen, Chiyan; Xi, Hongwei
6
2003
Weak and strong beta normalisations in typed \(\lambda\)-calculi. Zbl 1063.03528
Xi, Hongwei
5
1997
Meta-programming through typeful code representation. Zbl 1085.68547
Chen, Chiyan; Xi, Hongwei
4
2005
TPS: A theorem proving system for classical type theory. Zbl 1226.03026
Andrews, Peter B.; Bishop, Matthew; Issar, Sunil; Nesmith, Dan; Pfenning, Frank; Xi, Hongwei
3
2008
ATS: A language that combines programming with theorem proving. Zbl 1171.68421
Cui, Sa; Donnelly, Kevin; Xi, Hongwei
2
2005
A formalization of strong normalization for simply-typed lambda-calculus and System F. Zbl 1278.03035
Donnelly, Kevin; Xi, Hongwei
2
2007
Implementing typeful program transformations. Zbl 1096.68024
Chen, Chiyan; Shi, Rui; Xi, Hongwei
1
2006
TPS: A theorem proving system for classical type theory. Zbl 1226.03026
Andrews, Peter B.; Bishop, Matthew; Issar, Sunil; Nesmith, Dan; Pfenning, Frank; Xi, Hongwei
3
2008
Dependent ML an approach to practical programming with dependent types. Zbl 1125.68033
Xi, Hongwei
11
2007
A formalization of strong normalization for simply-typed lambda-calculus and System F. Zbl 1278.03035
Donnelly, Kevin; Xi, Hongwei
2
2007
Implementing typeful program transformations. Zbl 1096.68024
Chen, Chiyan; Shi, Rui; Xi, Hongwei
1
2006
Combining programming with theorem proving. Zbl 1302.68241
Chen, Chiyan; Xi, Hongwei
17
2005
Meta-programming through typeful code representation. Zbl 1085.68547
Chen, Chiyan; Xi, Hongwei
4
2005
ATS: A language that combines programming with theorem proving. Zbl 1171.68421
Cui, Sa; Donnelly, Kevin; Xi, Hongwei
2
2005
Applied type system (extended abstract). Zbl 1100.03518
Xi, Hongwei
17
2004
Guarded recursive datatype constructors. Zbl 1321.68161
Xi, Hongwei; Chen, Chiyan; Chen, Gang
47
2003
Meta-programming through typeful code representation. Zbl 1315.68038
Chen, Chiyan; Xi, Hongwei
6
2003
Dependent types for program termination verification. Zbl 1041.68059
Xi, Hongwei
12
2002
A dependently typed assembly language. Zbl 1323.68084
Xi, Hongwei; Harper, Robert
10
2001
Perpetual reductions in \(\lambda\)-calculus. Zbl 0920.03024
van Raamsdonk, Femke; Severi, Paula; Sørensen, Morten Heine B.; Xi, Hongwei
19
1999
Upper bounds for standardizations and an application. Zbl 0938.03027
Xi, Hongwei
7
1999
Weak and strong beta normalisations in typed \(\lambda\)-calculi. Zbl 1063.03528
Xi, Hongwei
5
1997
TPS: A theorem-proving system for classical type theory. Zbl 0858.03017
Andrews, Peter B.; Bishop, Matthew; Issar, Sunil; Nesmith, Dan; Pfenning, Frank; Xi, Hongwei
20
1996
all cited Publications top 5 cited Publications
all top 5

Cited by 272 Authors

9 Peyton Jones, Simon L.
6 Weirich, Stephanie
5 Abel, Andreas M.
5 Benzmüller, Christoph Ewald
5 Kesner, Delia
5 Pientka, Brigitte
5 Vytiniotis, Dimitrios
4 Blanqui, Frédéric
4 Chakravarty, Manuel M. T.
4 Igarashi, Atsushi
4 Morrisett, Greg
4 Pottier, François
3 Barthe, Gilles
3 Birkedal, Lars
3 Crary, Karl
3 Dal Lago, Ugo
3 Gauthier, Nadji
3 Johann, Patricia
3 Keller, Gabriele Cornelia
3 Kiselyov, Oleg
3 Nanevski, Aleksandar
3 Palsberg, Jens
3 Sekiyama, Taro
3 Sørensen, Morten Heine B.
3 Sulzmann, Martin
3 Sutcliffe, Geoff
3 Xi, Hongwei
2 Accattoli, Beniamino
2 Alves, Sandra
2 Andrews, Peter B.
2 Battyányi, Péter
2 Bentkamp, Alexander
2 Blanchette, Jasmin Christian
2 Brown, Chad Edward
2 Chen, Chiyan
2 Chen, Juan
2 Claessen, Koen
2 Fournet, Cédric
2 Gaboardi, Marco
2 Graham-Lengrand, Stéphane
2 Grégoire, Benjamin
2 Guillemette, Louis-Julien
2 Jansson, Patrik
2 Jia, Limin
2 Kennedy, Andrew J.
2 Khasidashvili, Zurab O.
2 Ko, Hsiang-Shang
2 Lengrand, Stéphane Jean Eric
2 Lepigre, Rodolphe
2 Momigliano, Alberto
2 Monnier, Stefan
2 Mu, Shin-Cheng
2 Pasalic, Emir
2 Pfenning, Frank
2 Rabe, Florian
2 Riba, Colin
2 Schrijvers, Tom
2 Shan, Chung-chieh
2 Shao, Zhong
2 Sheard, Tim
2 Shinnar, Avraham
2 Sjöberg, Vilhelm
2 Skalka, Christian
2 Smith, Scott F.
2 Strub, Pierre-Yves
2 Stump, Aaron
2 Swamy, Nikhil
2 Tourret, Sophie
2 Vial, Pierre
2 Vukmirović, Petar
2 Waldmann, Uwe
2 Yi, Kwangkeun
2 Zdancewic, Steve
2 Zhao, Jianzhou
1 Adl-Tabatabai, Ali-Reza
1 Aehlig, Klaus
1 Afshari, Bahareh
1 Ahmed, Amal
1 Aktemur, Barış
1 Allais, Guillaume
1 Artemov, Sergei
1 Asai, Kenichi
1 Asperti, Andrea
1 Autexier, Serge
1 Baillot, Patrick
1 Barras, Bruno
1 Beeson, Michael J.
1 Benton, Nick
1 Bernardo, Bruno
1 Bhargavan, Karthikeyan
1 Bhayat, Ahmed
1 Bishop, Matthew
1 Bohrer, Brandon
1 Bonacina, Maria Paola
1 Bonelli, Eduardo
1 Boström, Pontus
1 Boudol, Gérard
1 Bowman, William J.
1 Brunel, Aloïs
1 Brunel, Julien
...and 172 more Authors
all top 5

Cited in 21 Serials

11 Theoretical Computer Science
10 Journal of Automated Reasoning
10 Journal of Functional Programming
7 Information and Computation
6 Higher-Order and Symbolic Computation
4 Journal of Applied Logic
3 Logical Methods in Computer Science
2 Annals of Pure and Applied Logic
1 The Journal of Symbolic Logic
1 Science of Computer Programming
1 Journal of Symbolic Computation
1 New Generation Computing
1 Formal Aspects of Computing
1 AI Communications
1 Mathematical Structures in Computer Science
1 Archive for Mathematical Logic
1 Journal of Applied Non-Classical Logics
1 The Bulletin of Symbolic Logic
1 Annals of Mathematics and Artificial Intelligence
1 RAIRO. Theoretical Informatics and Applications
1 The Journal of Logic and Algebraic Programming
all top 5

Cited in 6 Fields

142 Computer science (68-XX)
54 Mathematical logic and foundations (03-XX)
2 Category theory; homological algebra (18-XX)
2 Information and communication theory, circuits (94-XX)
1 General and overarching topics; collections (00-XX)
1 Numerical analysis (65-XX)

Citations by Year