12 citations · 12 across the 2 of their papers we have counts for
2 papers
cs.FL2023
Convergence and Diversity in the Control Hierarchy
Alexandra Butoi, Ryan Cotterell, David Chiang
Weir has defined a hierarchy of language classes whose second member () is generated by tree-adjoining grammars (TAG), linear indexed grammars (LIG), combinatory cat…
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…