Long Pham

Registered user since Tue 11 Jun 2024

Name:Long Pham
Country:United States
Affiliation:Carnegie Mellon University
Research interests:Type theory, program resource analysis, static analysis, probabilistic programming

Contributions