
Registered user since Fri 10 May 2019
Name:David M. Kahn
Country:United States
Affiliation:Carnegie Mellon University
Personal website:http://www.cs.cmu.edu/~davidkah/
Contributions
ICFP 2021 | Automatic Amortized Resource Analysis with the Quantum Physicist’s Method | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2021-profile
View general profile
View general profile