Travelled to:3 × USA
Collaborated with:F.Pottier Paul Laforgue N.Jeannerod R.Treinen P.G.Giarrusso P.Schuster Thibaut Girka David Mentré S.Lombardy R.Poss J.Sakarovitch
Talks about:static (2) type (2) vaucanson (1) transform (1) increment (1) copattern (1) transfer (1) stratifi (1) introduc (1) calculus (1)
Person: Yann Régis-Gianas
DBLP: R=eacute=gis-Gianas:Yann
Contributed to:
2006
2003
2018
2019
2017Wrote 6 papers:
- POPL-2006-PottierR #algebra #data type #type inference
- Stratified type inference for generalized algebraic data types (FP, YRG), pp. 232–244.
- CIAA-2003-LombardyPRS
- Introducing VAUCANSON (SL, RP, YRG, JS), pp. 96–107.
- SLE-2018-Regis-GianasJT #named #parsing
- Morbig: a static parser for POSIX shell (YRG, NJ, RT), pp. 29–41.
- ESOP-2019-GiarrussoRS #incremental #program transformation #λ-calculus
- Incremental λ-Calculus in Cache-Transfer Style - Static Memoization by Program Transformation (PGG, YRG, PS), pp. 553–580.
- PPDP-2017-GirkaMR #difference #semantics
- Verifiable semantic difference languages (TG, DM, YRG), pp. 73–84.
- PPDP-2017-LaforgueR #metaprogramming #ml #pattern matching
- Copattern matching and first-class observations in OCaml, with a macro (PL, YRG), pp. 97–108.