Norman Danner -

Registered user since Tue 25 Aug 2020

Name:Norman Danner

Country:United States

Affiliation:Wesleyan University

Personal website: https://ndanner.faculty.wesleyan.edu

Research interests:Programming languages; static cost analysis; implicit computational complexity

Contributions

2022

ICFP

Author of Denotational semantics as a foundation for cost recurrence extraction for functional languages within the ICFP Papers and Events-track
Committee Member in Program Committee within the ICFP Papers and Events-track

2021

SPLASH

Author of Denotational Recurrence Extraction for Amortized Analysis within the SIGPLAN Papers-track

2020

ICFP

Author of Denotational Recurrence Extraction for Amortized Analysis within the ICFP Program-track

POPL

Author of Recurrence Extraction for Functional Programs through Call-by-Push-Value within the Research Papers-track