Loïc Peyrot

11 papers B 4Journal 7
YearRankTypeTitle / Venue / Authors
2025 J jnl
Polymorphic Records for Dynamic Languages.
Proc. ACM Program. Lang.
Giuseppe Castagna, Loïc Peyrot
2025 B conf
The Cost of Skeletal Call-By-Need, Smoothly.
FSCD
Beniamino Accattoli, Francesco Magliocca, Loïc Peyrot, Claudio Sacerdoti Coen
2025 J jnl
The Cost of Skeletal Call-by-Need, Smoothly.
CoRR
Beniamino Accattoli, Francesco Magliocca, Loïc Peyrot, Claudio Sacerdoti Coen
2024 J jnl
A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications.
Log. Methods Comput. Sci.
José Espírito Santo, Delia Kesner, Loïc Peyrot
2024 J jnl
Node Replication: Theory And Practice.
Log. Methods Comput. Sci.
Delia Kesner, Loïc Peyrot, Daniel Ventura
2024 J jnl
Polymorphic Records for Dynamic Languages.
CoRR
Giuseppe Castagna, Loïc Peyrot
2022 J jnl
A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications (Long Version).
CoRR
José Espírito Santo, Delia Kesner, Loïc Peyrot
2022 B conf
A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications.
FoSSaCS
José Espírito Santo, Delia Kesner, Loïc Peyrot
2022 J jnl
Node Replication: Theory And Practice.
CoRR
Delia Kesner, Loïc Peyrot, Daniel Ventura
2022 B conf
Solvability for Generalized Applications.
FSCD
Delia Kesner, Loïc Peyrot
2021 B conf
The Spirit of Node Replication.
FoSSaCS
Delia Kesner, Loïc Peyrot, Daniel Ventura