• Sign in
  • Sign up
conf.researchr.org / Norman Danner
  • ICFP 2020 profile
  • POPL 2020 profile

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

Share
xTue 26 Jan 16:08
using conf.researchr.org (v1.40.2)
Support page
Sign Up