Delia Kesner -

Registered user since Wed 2 May 2018

Name:Delia Kesner

Country:France

Affiliation:Université Paris Cité - CNRS - IRIF; Institut Universitaire de France

Contributions

2023

PPDP

Author of Embedding Quantitative Properties of Call-by-Name and Call-by-Value in a Unifying Framework within the PPDP 2023-track

ICFP

Committee Member in Program Committee within the ICFP Papers and Events-track

POPL

Author of Quantitative Inhabitation for Different Lambda Calculi in a Unifying Framework within the POPL-track

2022

ICFP

Author of Call-by-Push-Value, Quantitatively within the ICFP Papers and Events-track

TyDe

Author of A Computational Interpretation of Girard's Intuitionistic Proof-Nets within the TyDe 2022-track

POPL

Author of A Fine-Grained Computational Interpretation of Girard’s Intuitionistic Proof-Nets within the POPL-track

2020

ICFP

Committee Member in External Review Committee within the ICFP Program-track

2018

ICFP

Author of Tight Typings and Split Bounds within the Research Papers-track

2017

ICFP

Author of Foundations of Strong Call by Need within the Research Papers-track

FSCD

Author of Types as Resources for Classical Natural Deduction within the FSCD 2017-track