ICFP/SPLASH 2025 (series) / Chris Martens
Registered user since Fri 23 Oct 2015
Name:Chris Martens
Bio:
Ph.D. Carnegie Mellon University, 2015
Country:United States
Affiliation:Northeastern University
Personal website: https://www.khoury.northeastern.edu/~cmartens/
GitHub: https://github.com/chrisamaphone
Research interests:Programming languages, logic, type systems, logic programming
Contributions
Using general profile