Registered user since Tue 11 Jun 2024
Name:Long Pham
Country:United States
Affiliation:Carnegie Mellon University
Personal website: https://www.cs.cmu.edu/~longp/
Research interests:Type theory, program resource analysis, static analysis, probabilistic programming
Contributions
Using general profile