Victor Arrial

Publication Activity (10 Years)

Years Active: 2023-2024
Publications (10 Years): 7

Top Topics

Top Venues

Proc. ACM Program. Lang.

Publications

Victor Arrial, Giulio Guerrieri, Delia Kesner
Genericity Through Stratification. LICS (2024)
Victor Arrial, Giulio Guerrieri, Delia Kesner
The Benefits of Diligence. CoRR (2024)
Victor Arrial, Giulio Guerrieri, Delia Kesner
The Benefits of Diligence. IJCAR (2) (2024)
Victor Arrial, Giulio Guerrieri, Delia Kesner
Genericity Through Stratification. CoRR (2024)
Delia Kesner, Victor Arrial, Giulio Guerrieri
Meaningfulness and Genericity in a Subsuming Framework. CoRR (2024)
Delia Kesner, Victor Arrial, Giulio Guerrieri
Meaningfulness and Genericity in a Subsuming Framework (Invited Talk). FSCD (2024)
Victor Arrial, Giulio Guerrieri, Delia Kesner
Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework. Proc. ACM Program. Lang. 7 (POPL) (2023)