Colin McDonald
where else to find them
no profile links on file
what they talk about
where they keep going back
no series more than once — all 2 in the filters
on a stage with
- Aaron Stumponce
- Chris Jenkinsonce
- Chung-chieh Shanonce
all 5 in the filters
who talks about the same things
- Aaron Stump5 talks
- Steven Holtzen12 talks
- Steve Zdancewic19 talks
- Yizhou Zhang13 talks
- Mathieu Huot11 talks
- Nada Amin26 talks
| title | conference | date |
|---|---|---|
| Exact Recursive Probabilistic Programming | OOPSLA 2023 | 2023-10-23 |
A probabilistic programming compiler called Purple expresses unbounded recursion and then eliminates recursive data types using defunctionalization and… | ||
| Strong Functional Pearl: Harper's Regular-Expression Matcher in Cedille | ICFP 2020 | 2020-08-23 |
Implementation of Harper’s continuation-based regular-expression matcher in Cedille claims static termination on all inputs while using only standard… | ||
| nothing matches | ||