Not registered as user
Name:Frank Pfenning
Affiliation:Carnegie Mellon University, USA
Personal website: https://www.cs.cmu.edu/~fp/
Research interests:Programming Languages, Logic and Type Theory, Logical Frameworks, Automated Deduction, Trustworthy Computing
Contributions
ICFP 2024-profile
View general profile
View general profile