Registered user since Thu 13 Apr 2023
Name:Patrick LaFontaine
Country:United States
Affiliation:Purdue University
Personal website: https://pat-lafon.github.io/
GitHub: https://github.com/Pat-Lafon
Research interests:Programming Languages, Program Synthesis, Automated Reasoning
Contributions
ICFP 2023-profile
View general profile
View general profile