Delia Kesner -

Registered user since Wed 2 May 2018

Name:Delia Kesner

Country:France

Affiliation:Université Paris Cité - CNRS - IRIF

Personal website: http://www.irif.fr/~kesner

Research interests:Theory of Programming Languages, Lambda Calculus, Linear Logic, Rewriting, Proof Theory

Contributions

2026

POPL

Committee Member in Program Committee within the POPL-track

2024

APLAS

Author of Extending the Quantitative Pattern-Matching Paradigm within the Research Papers-track

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