Colin McDonald | DeepAI

DeepAI

AI Chat AI Image Generator AI Video AI Music Voice Chat Ghibli AI

Featured Co-authors

David Chiang
36 publications
Aaron Stump
13 publications
Christopher Jenkins
8 publications
Chung-chieh Shan
8 publications

research

∙ 10/03/2022

Exact Recursive Probabilistic Programming

Recursive calls over recursive data are widely useful for generating pro...

0 David Chiang, et al. ∙

research

∙ 03/19/2019

Elaborating Inductive Datatypes and Course-of-Values Pattern Matching to Cedille

In CDLE, a pure Curry-style type theory, it is possible to generically d...

0 Christopher Jenkins, et al. ∙