Loïc Peyrot

According to our database, Loïc Peyrot authored at least 8 papers between 2021 and 2025.

Collaborative distances:

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

2025

Polymorphic Records for Dynamic Languages.

Giuseppe Castagna, Loïc Peyrot

Proc. ACM Program. Lang., 2025

The Cost of Skeletal Call-By-Need, Smoothly.

Beniamino Accattoli, Francesco Magliocca, Loïc Peyrot, Claudio Sacerdoti Coen

Proceedings of the 10th International Conference on Formal Structures for Computation and Deduction, 2025

2024

A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications.

José Espírito Santo, Delia Kesner, Loïc Peyrot

Log. Methods Comput. Sci., 2024

Node Replication: Theory And Practice.

Delia Kesner, Loïc Peyrot, Daniel Ventura

Log. Methods Comput. Sci., 2024

2022

A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications (Long Version).

José Espírito Santo, Delia Kesner, Loïc Peyrot

CoRR, 2022

Solvability for Generalized Applications.

Delia Kesner, Loïc Peyrot

Proceedings of the 7th International Conference on Formal Structures for Computation and Deduction, 2022

A Faithful and Quantitative Notion of Distant Reduction for Generalized Applications.

José Espírito Santo, Delia Kesner, Loïc Peyrot

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

2021

The Spirit of Node Replication.

Delia Kesner, Loïc Peyrot, Daniel Ventura

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