Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Norman Danner
conf.researchr.org general profile
ICFP 2020 profile
POPL 2020 profile
Not registered as user yet
Name:
Norman Danner
Affiliation:
Wesleyan University
Contributions
ICFP 2020
Author of Denotational Recurrence Extraction for Amortized Analysis within the Research Papers-track
POPL 2020
Author of Recurrence Extraction for Functional Programs through Call-by-Push-Value within the Research Papers-track
Share
x
Wed 5 Aug 12:54