Abstract

Abstract The Robert Harper Festschrift includes articles by three of Bob’s students and colleagues—Karl Crary, Andrzej Filinski, and Jonathan Sterling. Each of these articles touches on themes that are central to Bob’s research: module system design, proof-directed program development, and (to use Bob’s term) “computational trinitarianism”. In this foreword to the Festschrift, we have additionally compiled reminiscences of Bob Harper from his PhD students. We invited them to reflect on their experiences working with and learning from Bob. We believe these reminiscences, presented in chronological order of dissertation date, deliver a most fitting tribute to Bob in honor of his 64th birthday.

Highlights

  • In this foreword to the Festschrift, we have compiled reminiscences of Bob Harper from his PhD students

  • Besides Bob, I was co-advised by another towering figure in the programming languages world, John Reynolds

  • Bob Harper took me under his wing after I gave a disastrous talk as a graduate student in the Principles of Programming (PoP) group seminar

Read more

Summary

Introduction

In this foreword to the Festschrift, we have compiled reminiscences of Bob Harper from his PhD students. Bob Harper took me under his wing after I gave a disastrous talk as a graduate student in the Principles of Programming (PoP) group seminar.

Results
Conclusion
Full Text
Published version (Free)

Talk to us

Join us for a 30 min session where you can share your feedback and ask us any queries you have

Schedule a call