BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: R=eacute=gis-Gianas:Yann

Contributed to:

POPL 20062006
CIAA 20032003
SLE 20182018
ESOP 20192019
PPDP 20172017

Wrote 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.

Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.