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: Lenglet:Sergue=iuml=
Contributed to:
2015
2014
2012
2012
2012
20112009Wrote 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.