ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia
Robert Harper

Registered user since Fri 16 Sep 2016

Name:Robert Harper
Bio:

Robert Harper is a Professor of Computer Science at Carnegie Mellon University, where he has been on faculty since 1988. He is author of Practical Foundations of Programming Languages and is an ACM Fellow.

Country:United States
Affiliation:Carnegie Mellon University, USA
Research interests:Programming languages, type theory, logical frameworks.

Contributions

ICFP 2022 Committee Member in Program Committee within the ICFP Papers-track
Show activities from other conferences

Using general profile