Ambroise Lafont

25 papers A* 1B 4Journal 18Unranked 1
YearRankTypeTitle / Venue / Authors
2026 J jnl
For Generalised Algebraic Theories, Two Sorts Are Enough.
CoRR
Samy Avrillon, Ambrus Kaposi, Ambroise Lafont, Niyousha Najmaei, Johann Rosain
2025 J jnl
2-Functoriality of Initial Semantics, and Applications.
CoRR
Benedikt Ahrens, Ambroise Lafont, Thomas Lamiaux
2025 J jnl
2-Functoriality of Initial Semantics, and Applications.
Proc. ACM Program. Lang.
Benedikt Ahrens, Ambroise Lafont, Thomas Lamiaux
2024 J jnl
Variable binding and substitution for (nameless) dummies.
Log. Methods Comput. Sci.
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
2023 J jnl
A more general categorical framework for congruence of applicative bisimilarity.
CoRR
Tom Hirschowitz, Ambroise Lafont
2023 J jnl
Dargent: A Silver Bullet for Verified Data Layout Refinement.
Proc. ACM Program. Lang.
Zilin Chen, Ambroise Lafont, Liam O'Connor, Gabriele Keller, Craig McLaughlin, Vincent Jackson, Christine Rizkallah
2022 J jnl
A categorical framework for congruence of applicative bisimilarity in higher-order languages.
Log. Methods Comput. Sci.
Tom Hirschowitz, Ambroise Lafont
2022 J jnl
A unified treatment of structural definitions on syntax for capture-avoiding substitution, context application, named substitution, partial differentiation, and so on.
CoRR
Tom Hirschowitz, Ambroise Lafont
2022 J jnl
Modules over monads and operational semantics (expanded version).
Log. Methods Comput. Sci.
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont
2022 B conf
Variable binding and substitution for (nameless) dummies.
FoSSaCS
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
2022 J jnl
Variable binding and substitution for (nameless) dummies.
CoRR
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont, Marco Maggesi
2021 J jnl
A categorical framework for congruence of applicative bisimilarity in higher-order languages.
CoRR
Tom Hirschowitz, Ambroise Lafont
2021 J jnl
Presentable signatures and initial semantics.
Log. Methods Comput. Sci.
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
2020 A* conf
A Cellular Howe Theorem.
LICS
Peio Borthelle, Tom Hirschowitz, Ambroise Lafont
2020 B conf
Modules over Monads and Operational Semantics.
FSCD
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont
2020 J jnl
Modules over monads and operational semantics.
CoRR
André Hirschowitz, Tom Hirschowitz, Ambroise Lafont
2020 J jnl
Reduction monads and their signatures.
Proc. ACM Program. Lang.
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
2019 — conf
For Finitary Induction-Induction, Induction Is Enough.
TYPES
Ambrus Kaposi, András Kovács, Ambroise Lafont
2019 B conf
Modular Specification of Monads Through Higher-Order Presentations.
FSCD
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
2019 J jnl
Modular specification of monads through higher-order presentations.
CoRR
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
2019 J jnl
Reduction Monads and Their Signatures.
CoRR
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
2019 J jnl
Signatures and models for syntax and operational semantics in the presence of variable binding.
CoRR
Ambroise Lafont
2019 — —
Signatures and models for syntax and operational semantics in the presence of variable binding. (Signatures et modèles pour la syntaxe et la sémantique opérationnelle en présence de liaison de variables).
Ambroise Lafont
2018 B conf
High-Level Signatures and Initial Semantics.
CSL
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi
2018 J jnl
High-level signatures and initial semantics.
CoRR
Benedikt Ahrens, André Hirschowitz, Ambroise Lafont, Marco Maggesi