Sergueï Lenglet

43 papers A* 2A 1B 16C 3Misc 1Journal 16Unranked 3
YearRankTypeTitle / Venue / Authors
2026 — conf
From Complementary to Zipper Semantics.
Components Operationally: Reversibility and System Engineering: Essays Dedicated to Jean-Bernard Stefani on the Occasion of His 65th Birthday
Sergueï Lenglet, Camille Noûs, Alan Schmitt
2024 J jnl
Fully Abstract Encodings of $\lambda$-Calculus in HOcore through Abstract Machines.
Log. Methods Comput. Sci.
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
2024 C conf
Leaf-First Zipper Semantics.
FORTE
Sergueï Lenglet, Alan Schmitt
2024 B conf
Optimizing a Non-Deterministic Abstract Machine with Environments.
FSCD
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Alan Schmitt
2022 C conf
Certified Derivation of Small-Step From Big-Step Skeletal Semantics.
PPDP
Guillaume Ambal, Sergueï Lenglet, Alan Schmitt, Camille Noûs
2022 B conf
Certified abstract machines for skeletal semantics.
CPP
Guillaume Ambal, Sergueï Lenglet, Alan Schmitt
2022 J jnl
Fully Abstract Encodings of λ-Calculus in HOcore through Abstract Machines.
CoRR
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
2022 B conf
Non-Deterministic Abstract Machines.
CONCUR
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Alan Schmitt
2021 J jnl
HOπ in Coq.
J. Autom. Reason.
Guillaume Ambal, Sergueï Lenglet, Alan Schmitt
2020 B conf
A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers.
FSCD
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
2019 B conf
A Complete Normal-Form Bisimilarity for State.
FoSSaCS
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
2019 J jnl
Bisimulations for Delimited-Control Operators.
Log. Methods Comput. Sci.
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
2019 B conf
Diacritical Companions.
MFPS
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
2019 J jnl
Proving Soundness of Extensional Normal-Form Bisimilarities.
Log. Methods Comput. Sci.
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
2018 J jnl
Bisimulations for Delimited-Control Operators.
CoRR
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
2018 B conf
HOπ in Coq.
CPP
Sergueï Lenglet, Alan Schmitt
2018 B conf
Proving Soundness of Extensional Normal-Form Bisimilarities.
MFPS
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
2017 J jnl
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation.
Log. Methods Comput. Sci.
Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
2017 J jnl
Faithful (meta-)encodings of programmable strategies into term rewriting systems.
CoRR
Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
2017 J jnl
Faithful (meta-)encodings of programmable strategies into term rewriting systems.
Log. Methods Comput. Sci.
Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
2017 A* conf
Fully abstract encodings of λ-calculus in HOcore through abstract machines.
LICS
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt
2017 J jnl
Proving Soundness of Extensional Normal-Form Bisimilarities.
CoRR
Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
2016 B conf
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation.
FSCD
Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
2016 J jnl
Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation.
CoRR
Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk
2015 — conf
A faithful encoding of programmable strategies into term rewriting systems.
RTA
Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau
2015 B conf
Howe's Method for Contextual Semantics.
CONCUR
Sergueï Lenglet, Alan Schmitt
2014 B conf
Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus.
MFPS
Dariusz Biernacki, Sergueï Lenglet
2014 A* conf
Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.
POPL
Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, Luca Padovani
2013 B conf
Environmental Bisimulations for Delimited-Control Operators.
APLAS
Dariusz Biernacki, Sergueï Lenglet
2013 J jnl
Environmental Bisimulations for Delimited-Control Operators.
CoRR
Dariusz Biernacki, Sergueï Lenglet
2013 — conf
Proving termination of evaluation for System F with control operators.
COS
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Marek Materzok
2012 J jnl
Applicative Bisimulations for Delimited-Control Operators
CoRR
Dariusz Biernacki, Sergueï Lenglet
2012 B conf
Applicative Bisimulations for Delimited-Control Operators.
FoSSaCS
Dariusz Biernacki, Sergueï Lenglet
2012 J jnl
Expansion for Universal Quantifiers
CoRR
Sergueï Lenglet, Joe B. Wells
2012 A conf
Expansion for Universal Quantifiers.
ESOP
Sergueï Lenglet, Joe B. Wells
2012 J jnl
Normal Form Bisimulations for Delimited-Control Operators
CoRR
Dariusz Biernacki, Sergueï Lenglet
2012 Misc conf
Normal Form Bisimulations for Delimited-Control Operators.
FLOPS
Dariusz Biernacki, Sergueï Lenglet
2011 J jnl
Characterizing contextual equivalence in calculi with passivation.
Inf. Comput.
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani
2011 C conf
Typing control operators in the CPS hierarchy.
PPDP
Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet
2010 — —
Bisimulations dans les calculs avec passivation. (Bisimulations in calculi with passivation).
Sergueï Lenglet
2009 B conf
Howe's Method for Calculi with Passivation.
CONCUR
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani
2009 B conf
Normal Bisimulations in Calculi with Passivation.
FoSSaCS
Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani
2006 B conf
A Core Calculus for Scala Type Checking.
MFCS
Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky