Follow
Colin McDonald
Colin McDonald
Carnegie Mellon University
Verified email at nd.edu - Homepage
Title
Cited by
Cited by
Year
Syntax-Based Attention Masking for Neural Machine Translation
C McDonald, D Chiang
Proceedings of the 2021 Conference of the North American Chapter of the …, 2021
102021
Exact Recursive Probabilistic Programming
D Chiang, C McDonald, C Shan
Proceedings of the ACM on Programming Languages 7 (OOSPLA1), 665-695, 2023
62023
Strong functional pearl: Harper’s regular-expression matcher in Cedille
A Stump, C Jenkins, S Spahn, C McDonald
Proceedings of the ACM on Programming Languages 4 (ICFP), 1-25, 2020
52020
Elaborating Inductive Definitions and Course-of-Values Induction in Cedille
C Jenkins, C McDonald, A Stump
arXiv preprint arXiv:1903.08233, 2019
32019
The system can't perform the operation now. Try again later.
Articles 1–4