×
Edit Profile (opens in new tab)

Régis-Gianas, Yann

Co-Author Distance
Author ID: regis-gianas.yann Recent zbMATH articles by "Régis-Gianas, Yann"
Published as: Régis-Gianas, Yann
Documents Indexed: 11 Publications since 2004
Co-Authors: 32 Co-Authors with 11 Joint Publications
362 Co-Co-Authors
all top 5

Co-Authors

0 single-authored
2 Amadio, Roberto M.
2 Chifflier, Pierre
2 del Carmen González Huesca, Lourdes
2 Hiet, Guillaume
2 Letan, Thomas
2 Pottier, François
1 Ayache, Nicolas
1 Barras, Bruno
1 Bobot, François
1 Boender, Jaap P.
1 Campbell, Brian
1 Claret, Guillaume
1 Garnier, Ilias
1 Giarrusso, Paolo G.
1 Girka, Thibaut
1 Herbelin, Hugo
1 Lombardy, Sylvain
1 Madet, Antoine
1 McKinna, James
1 Mentré, David
1 Mulligan, Dominic P.
1 Piccolo, Mauro
1 Pollack, Randy
1 Sacerdoti Coen, Claudio
1 Sakarovitch, Jacques
1 Schuster, Philipp
1 Stark, Ian
1 Tassi, Enrico
1 Tranquilli, Paolo
1 Wenzel, Makarius
1 Wolff, Burkhart
1 Ziliani, Beta

Serials

1 Theoretical Computer Science
1 Formal Aspects of Computing

Fields

11 Computer science (68-XX)
2 Mathematical logic and foundations (03-XX)

Publications by Year

all cited Publications top 5 cited Publications

Citations contained in zbMATH Open

10 Publications have been cited 39 times in 35 Documents Cited by ▼ Year ▼
Stratified type inference for generalized algebraic data types. Zbl 1369.68114
Pottier, François; Régis-Gianas, Yann
8
2006
A Hoare logic for call-by-value functional programs. Zbl 1157.68023
Régis-Gianas, Yann; Pottier, François
8
2008
Introducing VAUCANSON. Zbl 1071.68046
Lombardy, Sylvain; Régis-Gianas, Yann; Sakarovitch, Jacques
7
2004
Lightweight proof by reflection using a posteriori simulation of effectful computation. Zbl 1317.68205
Claret, Guillaume; del Carmen González Huesca, Lourdes; Régis-Gianas, Yann; Ziliani, Beta
6
2013
Certifying and reasoning on cost annotations of functional programs. Zbl 1367.68046
Amadio, Roberto M.; Régis-Gianas, Yann
3
2012
Certified complexity (CerCo). Zbl 1445.68057
Amadio, Roberto M.; Ayache, Nicolas; Bobot, Francois; Boender, Jaap P.; Campbell, Brian; Garnier, Ilias; Madet, Antoine; McKinna, James; Mulligan, Dominic P.; Piccolo, Mauro; Pollack, Randy; Régis-Gianas, Yann; Sacerdoti Coen, Claudio; Stark, Ian; Tranquilli, Paolo
3
2014
Pervasive parallelism in highly-trustable interactive theorem proving systems. Zbl 1390.68571
Barras, Bruno; del Carmen González Huesca, Lourdes; Herbelin, Hugo; Régis-Gianas, Yann; Tassi, Enrico; Wenzel, Makarius; Wolff, Burkhart
1
2013
Incremental \(\lambda \)-calculus in cache-transfer style. Static memoization by program transformation. Zbl 1524.68088
Giarrusso, Paolo G.; Régis-Gianas, Yann; Schuster, Philipp
1
2019
Modular verification of programs with effects and effects handlers. Zbl 1458.68119
Letan, Thomas; Régis-Gianas, Yann; Chifflier, Pierre; Hiet, Guillaume
1
2021
Modular verification of programs with effects and effect handlers in Coq. Zbl 1460.68062
Letan, Thomas; Régis-Gianas, Yann; Chifflier, Pierre; Hiet, Guillaume
1
2018
Modular verification of programs with effects and effects handlers. Zbl 1458.68119
Letan, Thomas; Régis-Gianas, Yann; Chifflier, Pierre; Hiet, Guillaume
1
2021
Incremental \(\lambda \)-calculus in cache-transfer style. Static memoization by program transformation. Zbl 1524.68088
Giarrusso, Paolo G.; Régis-Gianas, Yann; Schuster, Philipp
1
2019
Modular verification of programs with effects and effect handlers in Coq. Zbl 1460.68062
Letan, Thomas; Régis-Gianas, Yann; Chifflier, Pierre; Hiet, Guillaume
1
2018
Certified complexity (CerCo). Zbl 1445.68057
Amadio, Roberto M.; Ayache, Nicolas; Bobot, Francois; Boender, Jaap P.; Campbell, Brian; Garnier, Ilias; Madet, Antoine; McKinna, James; Mulligan, Dominic P.; Piccolo, Mauro; Pollack, Randy; Régis-Gianas, Yann; Sacerdoti Coen, Claudio; Stark, Ian; Tranquilli, Paolo
3
2014
Lightweight proof by reflection using a posteriori simulation of effectful computation. Zbl 1317.68205
Claret, Guillaume; del Carmen González Huesca, Lourdes; Régis-Gianas, Yann; Ziliani, Beta
6
2013
Pervasive parallelism in highly-trustable interactive theorem proving systems. Zbl 1390.68571
Barras, Bruno; del Carmen González Huesca, Lourdes; Herbelin, Hugo; Régis-Gianas, Yann; Tassi, Enrico; Wenzel, Makarius; Wolff, Burkhart
1
2013
Certifying and reasoning on cost annotations of functional programs. Zbl 1367.68046
Amadio, Roberto M.; Régis-Gianas, Yann
3
2012
A Hoare logic for call-by-value functional programs. Zbl 1157.68023
Régis-Gianas, Yann; Pottier, François
8
2008
Stratified type inference for generalized algebraic data types. Zbl 1369.68114
Pottier, François; Régis-Gianas, Yann
8
2006
Introducing VAUCANSON. Zbl 1071.68046
Lombardy, Sylvain; Régis-Gianas, Yann; Sakarovitch, Jacques
7
2004
all cited Publications top 5 cited Publications
all top 5

Cited by 84 Authors

4 Charguéraud, Arthur
3 Cruz-Filipe, Luís
3 Peyton Jones, Simon L.
3 Pottier, François
3 Schneider-Kamp, Peter
2 Claessen, Koen
2 Larsen, Kim Skak
2 Rémy, Didier
2 Vytiniotis, Dimitrios
1 Agrawal, Rajashree
1 Allauzen, Cyril
1 Balat, Vincent
1 Bengtson, Jesper
1 Bohrer, Brandon
1 Borgström, Johannes
1 Bubel, Richard
1 Chen, Sheng
1 Chlipala, Adam J.
1 Chmiel, Krzysztof
1 Condit, Jeremy
1 Cousot, Patrick
1 Dagand, Pierre-Evariste
1 Dal Lago, Ugo
1 de Vilhena, Paulo Emílio
1 Dijkstra, Atze
1 Dreyer, Derek R.
1 Erbsen, Andres
1 Erwig, Martin
1 Fox, Anthony C. J.
1 Fulton, Nathan
1 Garrigue, Jacques
1 Gavazzo, Francesco
1 Gordon, Andrew D.
1 Gross, Jason
1 Gruber, Hermann
1 Hackett, Brian
1 Hähnle, Reiner
1 Holzer, Markus
1 Jia, Limin
1 Kennedy, Andrew J.
1 Konstantinidis, Stavros
1 Krishnaswami, Neelakantan R.
1 Kumar, Ramana
1 Lahiri, Shuvendu Kumar
1 Le Botlan, Didier
1 Lindén, Krister
1 Maingaud, Séverine
1 Malecha, Gregory
1 Maletti, Andreas
1 Meijer, Casey
1 Middelkoop, Arie
1 Miquel, Alexandre
1 Mitsch, Stefan
1 Mohri, Mehryar
1 Moreira, Nelma
1 Myreen, Magnus O.
1 Nanevski, Aleksandar
1 Nicaud, Cyril
1 Norrish, Michael
1 Owens, Scott
1 Philipoom, Jade
1 Pirinen, Tommi
1 Platzer, André
1 Pucella, Riccardo
1 Qadeer, Shaz
1 Quernheim, Daniel
1 Reis, Rogério
1 Riley, Michael D.
1 Roman, Adam
1 Rosen, Dan
1 Russo, Claudio V.
1 Schalkwyk, Johan
1 Schrijvers, Tom
1 Silfverberg, Miikka
1 Sjöberg, Vilhelm
1 Skut, Wojciech
1 Sulzmann, Martin
1 Swierstra, S. Doaitse
1 Tan, Yong Kiam
1 Vafeiadis, Viktor
1 Weirich, Stephanie
1 Xu, Dana N.
1 Zhao, Jianzhou
1 Ziliani, Beta
all top 5

Cited in 7 Serials

4 Journal of Functional Programming
3 Journal of Automated Reasoning
2 Theoretical Computer Science
2 International Journal of Foundations of Computer Science
1 Information and Computation
1 Higher-Order and Symbolic Computation
1 Logical Methods in Computer Science

Cited in 3 Fields

35 Computer science (68-XX)
8 Mathematical logic and foundations (03-XX)
1 Systems theory; control (93-XX)

Citations by Year