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 2020 | Author of Raising Expectations: Automating Expected Cost Analysis with Types within the Research Papers-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
Using general profile