Colin McDonald

University of Notre Dame
Class of 2023
Bachelor of Arts in Computer Science and Philosophy
Natural Language Processing Group

My research interests include programming languages, type theory, quantum computing, NLP, and formal logic.

Publications

Colin McDonald and David Chiang. Syntax-based attention masking for neural machine translation. In Proc. NAACL Student Research Workshop. 2021. PDF
Aaron Stump, Christopher Jenkins, Stephan Spahn, Colin McDonald. Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille. In Proc. of the ACM on Programming Languages. 2020. PDF
Christopher Jenkins, Colin McDonald, Aaron Stump. Elaborating Inductive Definitions and Course-of-Values Induction in Cedille. Preprint. 2019. PDF

TA Experience