Yann Régis-Gianas

Statistics

Publications

Citations

146

H-Index

Active since

2004

Affiliations

Institut national de recherche en sciences et technologies du numérique(Current)

Université Paris Cité

Centre National de la Recherche Scientifique

Yann Régis-Gianas is an author at Institut national de recherche en sciences et technologies du numérique specializing in computing, computer science, and programming languages.

ORCID

Publications per year

2004–2020

Publications

Stratified type inference for generalized algebraic data types

François Pottier, Yann Régis-Gianas · 2006 · 53 citations

Computing, Computer Science, Mathematics +11

Introducing VAUCANSON

Sylvain Lombardy, Yann Régis-Gianas, Jacques Sakarovitch · Theoretical Computer Science · 2004 · 34 citations

FreeSpec: specifying, verifying, and executing impure computations in Coq

Thomas Letan, Yann Régis-Gianas · 2020 · 25 citations · Full text

Computing, Computer Science, Computer Systems +13

Mtac2: typed tactics for backward reasoning in Coq

Jan-Oliver Kaiser, Beta Ziliani, Robbert Krebbers et al. · Proceedings of the ACM on Programming Languages · 2018 · 21 citations · Full text

Computing, Computer Science, Formal Methods +16

Towards Efficient, Typed LR Parsers

François Pottier, Yann Régis-Gianas · Electronic Notes in Theoretical Computer Science · 2006 · 13 citations · Full text

Computing, Computer Science, Algebra +16

1–5 of 5