BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Denmark
1 × Japan
1 × Poland
1 × USA
1 × United Kingdom
2 × Estonia
Collaborated with:
D.Biernacki J.B.Wells H.Cirstea P.Moreau M.Biernacka A.Schmitt J.Stefani G.Castagna K.Nguyen Z.Xu H.Im L.Padovani
Talks about:
control (3) bisimul (3) oper (3) delimit (2) normal (2) type (2) polymorph (1) hierarchi (1) strategi (1) quantifi (1)

Person: Sergueï Lenglet

DBLP DBLP: Lenglet:Sergue=iuml=

Contributed to:

RTA 20152015
POPL 20142014
ESOP 20122012
FLOPS 20122012
FOSSACS 20122012
PPDP 20112011
FOSSACS 20092009

Wrote 7 papers:

RTA-2015-CirsteaLM #encoding #programmable #term rewriting
A faithful encoding of programmable strategies into term rewriting systems (HC, SL, PEM), pp. 74–88.
POPL-2014-Castagna0XILP #evaluation #polymorphism #semantics #syntax
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation (GC, KN, ZX, HI, SL, LP), pp. 5–18.
ESOP-2012-LengletW #quantifier
Expansion for Universal Quantifiers (SL, JBW), pp. 456–475.
FLOPS-2012-BiernackiL #bisimulation #normalisation
Normal Form Bisimulations for Delimited-Control Operators (DB, SL), pp. 47–61.
FoSSaCS-2012-BiernackiL #bisimulation
Applicative Bisimulations for Delimited-Control Operators (DB, SL), pp. 119–134.
PPDP-2011-BiernackaBL #continuation #type system
Typing control operators in the CPS hierarchy (MB, DB, SL), pp. 149–160.
FoSSaCS-2009-LengletSS #bisimulation #calculus
Normal Bisimulations in Calculi with Passivation (SL, AS, JBS), pp. 257–271.

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.