12 citations · 12 across the 2 of their papers we have counts for
2 papers
cs.PL2022★ 12 cited
Exact Recursive Probabilistic Programming
David Chiang, Colin McDonald, Chung-chieh Shan
Recursive calls over recursive data are useful for generating probability distributions, and probabilistic programming allows computations over these distributions to be expressed…
cs.PL2019
Elaborating Inductive Definitions and Course-of-Values Induction in Cedille
Christopher Jenkins, Colin McDonald, Aaron Stump
In the Calculus of Dependent Lambda Eliminations (CDLE), a pure Curry-style type theory, it is possible to generically λ-encode inductive datatypes which support course-of-values (…