• Sign in
  • Sign up
conf.researchr.org / Delia Kesner
  • APLAS 2024 profile
  • ICFP 2017 profile
  • ICFP 2018 profile
  • ICFP 2020 profile
  • ICFP 2022 profile
  • ICFP 2023 profile
  • POPL 2022 profile
  • POPL 2023 profile
  • POPL 2026 profile
  • SPLASH 2023 profile

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
Share
xSun 22 Jun 16:43
using conf.researchr.org (v1.69.0)
Support page
Sign Up