Dario Stein : Publications

Click here to download all publications in a single bibtex file

@misc{arXiv:2007.08638v1,
  title = "Probabilistic Programming Semantics for Name Generation",
  author = "Marcin Sabok and Sam Staton and Dario Stein and Michael Wolman",
  year = "2020",
  journal = "arXiv preprint 2007.08638",
  url = "https://arxiv.org/pdf/2007.08638.pdf",
}

@inproceedings{staton_et_al:LIPIcs:2018:914,
  title = "The Beta-Bernoulli process and algebraic effects",
  author = "Sam Staton and Dario Stein and Hongseok Yang and Nathanael L. Ackerman and Cameron E. Freer and Daniel M. Roy",
  year = "2018",
  journal = "45th International Colloquium on Automata, Languages, and Programming (ICALP 2018)",
  url = "https://drops.dagstuhl.de/opus/volltexte/2018/9145/pdf/LIPIcs-ICALP-2018-141.pdf",
}