Collaborated with:G.Morrisett J.Tristan
Talks about:probabilist (2) distribut (1) algorithm (1) program (1) languag (1) semant (1) markov (1) comput (1) compil (1) applic (1)
Person: Daniel Huang 0001
DBLP: 0001:Daniel_Huang
Contributed to:
2016
2017Wrote 2 papers:
- ESOP-2016-HuangM #probability #programming language #semantics
- An Application of Computable Distributions to the Semantics of Probabilistic Programming Languages (DH0, GM), pp. 337–363.
- PLDI-2017-HuangTM #algorithm #compilation #markov #modelling #monte carlo #probability
- Compiling Markov chain Monte Carlo algorithms for probabilistic modeling (DH0, JBT, GM), pp. 111–125.