Sergueï Lenglet

According to our database, Sergueï Lenglet authored at least 28 papers between 2006 and 2022.

Collaborative distances:

• Dijkstra number of four.
• Erdős number of four.

2022

Certified Derivation of Small-Step From Big-Step Skeletal Semantics.

Guillaume Ambal, Sergueï Lenglet, Alan Schmitt, Camille Noûs

Proceedings of the PPDP 2022: 24th International Symposium on Principles and Practice of Declarative Programming, Tbilisi, Georgia, September 20, 2022

Certified abstract machines for skeletal semantics.

Guillaume Ambal, Sergueï Lenglet, Alan Schmitt

Proceedings of the CPP '22: 11th ACM SIGPLAN International Conference on Certified Programs and Proofs, Philadelphia, PA, USA, January 17, 2022

Non-Deterministic Abstract Machines.

Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Alan Schmitt

Proceedings of the 33rd International Conference on Concurrency Theory, 2022

2021

HOπ in Coq.

Guillaume Ambal, Sergueï Lenglet, Alan Schmitt

J. Autom. Reason., 2021

2020

A Complete Normal-Form Bisimilarity for Algebraic Effects and Handlers.

Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

Proceedings of the 5th International Conference on Formal Structures for Computation and Deduction, 2020

2019

Bisimulations for Delimited-Control Operators.

Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

Log. Methods Comput. Sci., 2019

Diacritical Companions.

Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

Proceedings of the Thirty-Fifth Conference on the Mathematical Foundations of Programming Semantics, 2019

A Complete Normal-Form Bisimilarity for State.

Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

Proceedings of the Foundations of Software Science and Computation Structures, 2019

2018

Proving Soundness of Extensional Normal-Form Bisimilarities.

Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

Proceedings of the Thirty-Fourth Conference on the Mathematical Foundations of Programming Semantics, 2018

HOπ in Coq.

Sergueï Lenglet, Alan Schmitt

Proceedings of the 7th ACM SIGPLAN International Conference on Certified Programs and Proofs, 2018

2017

Faithful (meta-)encodings of programmable strategies into term rewriting systems.

Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau

Log. Methods Comput. Sci., 2017

Environmental Bisimulations for Delimited-Control Operators with Dynamic Prompt Generation.

Andrés Aristizábal, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk

Log. Methods Comput. Sci., 2017

Fully abstract encodings of λ-calculus in HOcore through abstract machines.

Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Piotr Polesiuk, Damien Pous, Alan Schmitt

Proceedings of the 32nd Annual ACM/IEEE Symposium on Logic in Computer Science, 2017

2015

A faithful encoding of programmable strategies into term rewriting systems.

Horatiu Cirstea, Sergueï Lenglet, Pierre-Etienne Moreau

Proceedings of the 26th International Conference on Rewriting Techniques and Applications, 2015

Howe's Method for Contextual Semantics.

Sergueï Lenglet, Alan Schmitt

Proceedings of the 26th International Conference on Concurrency Theory, 2015

2014

Applicative Bisimilarities for Call-by-Name and Call-by-Value λμ-Calculus.

Dariusz Biernacki, Sergueï Lenglet

Proceedings of the 30th Conference on the Mathematical Foundations of Programming Semantics, 2014

Polymorphic functions with set-theoretic types: part 1: syntax, semantics, and evaluation.

Giuseppe Castagna, Kim Nguyen, Zhiwu Xu, Hyeonseung Im, Sergueï Lenglet, Luca Padovani

Proceedings of the 41st Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 2014

2013

Proving termination of evaluation for System F with control operators.

Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet, Marek Materzok

Proceedings of the Proceedings First Workshop on Control Operators and their Semantics, 2013

Environmental Bisimulations for Delimited-Control Operators.

Dariusz Biernacki, Sergueï Lenglet

Proceedings of the Programming Languages and Systems - 11th Asian Symposium, 2013

2012

Applicative Bisimulations for Delimited-Control Operators.

Dariusz Biernacki, Sergueï Lenglet

Proceedings of the Foundations of Software Science and Computational Structures, 2012

Normal Form Bisimulations for Delimited-Control Operators.

Dariusz Biernacki, Sergueï Lenglet

Proceedings of the Functional and Logic Programming - 11th International Symposium, 2012

Expansion for Universal Quantifiers.

Sergueï Lenglet, Joe B. Wells

Proceedings of the Programming Languages and Systems, 2012

2011

Characterizing contextual equivalence in calculi with passivation.

Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani

Inf. Comput., 2011

Typing control operators in the CPS hierarchy.

Malgorzata Biernacka, Dariusz Biernacki, Sergueï Lenglet

Proceedings of the 13th International ACM SIGPLAN Conference on Principles and Practice of Declarative Programming, 2011

2010

Bisimulations dans les calculs avec passivation. (Bisimulations in calculi with passivation).

Sergueï Lenglet

PhD thesis, 2010

2009

Normal Bisimulations in Calculi with Passivation.

Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani

Proceedings of the Foundations of Software Science and Computational Structures, 2009

Howe's Method for Calculi with Passivation.

Sergueï Lenglet, Alan Schmitt, Jean-Bernard Stefani

Proceedings of the CONCUR 2009 - Concurrency Theory, 20th International Conference, 2009

2006

A Core Calculus for Scala Type Checking.

Vincent Cremet, François Garillot, Sergueï Lenglet, Martin Odersky

Proceedings of the Mathematical Foundations of Computer Science 2006, 2006