Dario Stein
Interests
I am interested in programming languages, category theory and probability.
Selected Publications
-
Probabilistic Programming Semantics for Name Generation
Marcin Sabok‚ Sam Staton‚ Dario Stein and Michael Wolman
2020.
Details about Probabilistic Programming Semantics for Name Generation | BibTeX data for Probabilistic Programming Semantics for Name Generation | Download (pdf) of Probabilistic Programming Semantics for Name Generation
-
The Beta−Bernoulli process and algebraic effects
Sam Staton‚ Dario Stein‚ Hongseok Yang‚ Nathanael L. Ackerman‚ Cameron E. Freer and Daniel M. Roy
2018.
Details about The Beta−Bernoulli process and algebraic effects | BibTeX data for The Beta−Bernoulli process and algebraic effects | Download (pdf) of The Beta−Bernoulli process and algebraic effects