1 citations · 3 across the 3 of their papers we have counts for
3 papers
cs.PL2024★ 1 cited
Polymorphic Records for Dynamic Languages
Giuseppe Castagna, Loïc Peyrot
We define and study "row polymorphism" for a type system with set-theoretic types, specifically union, intersection, and negation types. We consider record types that embed row var…
cs.LO2022★ 1 cited
Node Replication: Theory And Practice
Delia Kesner, Loïc Peyrot, Daniel Ventura
We define and study a term calculus implementing higher-order node replication. It is used to specify two different (weak) evaluation strategies: call-by-name and fully lazy call-b…
cs.LO2022★ 1 cited
A Faithful and Quantitative Notion of Distant Reduction for the Lambda-Calculus with Generalized Applications
José Espírito Santo, Delia Kesner, Loïc Peyrot
We introduce a call-by-name lambda-calculus with generalized applications which is equipped with distant reduction. This allows to unblock -redexes without resorting to th…