Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Norman Danner
conf.researchr.org general profile
ICFP 2020 profile
POPL 2020 profile
SPLASH 2021 profile
Registered user since Tue 25 Aug 2020
Name:
Norman Danner
Affiliation:
Wesleyan University
Contributions
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
Share
x
Wed 20 Oct 14:44