Dreyer, D., & Pierce, B. C. (2022). On being a PhD student of Robert Harper. Journal of Functional Programming, 32: e3. doi:10.1017/S0956796821000289.