一句话：本文是 Robert Harper 纪念文集前言，介绍其核心研究主题并汇编其博士生的回忆，以致敬其 64 岁生日。
该文是 Robert Harper Festschrift 的前言。文集收录了 Karl Crary、Andrzej Filinski 和 Jonathan Sterling 等学生与同事的文章，分别触及 Harper 研究的核心主题：模块系统设计、证明导向的程序开发，以及他称为“computational trinitarianism”的思想。作为前言，作者还按博士论文完成时间顺序汇编了 Harper 的博士生们的回忆，邀请他们反思跟随 Harper 学习与合作的经历。文章没有提出新的技术方法或评估，而是通过研究主题概览和个人回忆，为 Harper 64 岁生日献上致敬，并展现其学术影响与指导风格。
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.