Norman Danner -

Registered user since Tue 25 Aug 2020

Name: Norman Danner

Affiliation: Wesleyan University

Contributions

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