Colin McDonald

Publication Activity (10 Years)

Years Active: 2019-2023
Publications (10 Years): 5

Top Topics

Machine Translation

Computer Programming

Deterministic Finite Automata

Pattern Matching

Top Venues

Proc. ACM Program. Lang.

NAACL-HLT (Student Research Workshop)

Publications

David Chiang, Colin McDonald, Chung-chieh Shan
Exact Recursive Probabilistic Programming. Proc. ACM Program. Lang. 7 (OOPSLA1) (2023)
David Chiang, Colin McDonald, Chung-chieh Shan
Exact Recursive Probabilistic Programming. CoRR (2022)
Colin McDonald, David Chiang
Syntax-Based Attention Masking for Neural Machine Translation. NAACL-HLT (Student Research Workshop) (2021)
Aaron Stump, Christopher Jenkins, Stephan Spahn, Colin McDonald
Strong functional pearl: Harper's regular-expression matcher in Cedille. Proc. ACM Program. Lang. 4 (ICFP) (2020)
Christopher Jenkins, Colin McDonald, Aaron Stump
Elaborating Inductive Datatypes and Course-of-Values Pattern Matching to Cedille. CoRR (2019)