D. Lee, K. Crary, and R. Harper. POPL '07: Proceedings of the 34th annual ACM SIGPLAN-SIGACT symposium on Principles of programming languages, page 173-184. New York, NY, USA, ACM Press, (2007)
M. Dimitrova, V. Garate, D. Withey, and C. Harper. "MIS4TEL (Workshops), volume 769 of Lecture Notes in Networks and Systems, page 119-128. Springer, (2023)
I. Núñez-Harper, B. Márquez, and A. Alanis. ARTIIS (1), volume 1675 of Communications in Computer and Information Science, page 524-534. Springer, (2022)