conf.researchr.org / 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

ICFP 2022 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
SPLASH 2021 Author of Denotational Recurrence Extraction for Amortized Analysis within the SIGPLAN Papers-track
ICFP 2020 Author of Denotational Recurrence Extraction for Amortized Analysis within the ICFP Program-track
POPL 2020 Author of Recurrence Extraction for Functional Programs through Call-by-Push-Value within the Research Papers-track