Bas Spitters

Research output

Research output per year 2006 2016 2018 2020 2021 2024

• 17 Article in proceedings
• 10 Journal article
• 7 Net publication - Internet publication
• 4 Conference abstract for conference
• 13 More
  • 4 Working paper
  • 3 Preprint
  • 2 Book chapter
  • 2 Paper
  • 2 Conference article

Research output per year

Research output per year

Search results

• 2020

  Application ofComputable Distributions to the Semantics of Probabilistic Programs

  Huang, D., Morrisett, G. & Spitters, B., 1 Jan 2020, Foundations of Probabilistic Programming. Cambridge University Press, p. 75-120 46 p.

  Research output: Contribution to book/anthology/report/proceeding › Book chapter › Research › peer-review

  Open Access

  • Probabilistic Programs 100%
  • Computability 100%
  • Continuous Distribution 100%
  • Computational Semantics 50%
  • Constructive Mathematics 50%
  5 Citations (Scopus)

• Application of Computable Distributions to the Semantics of Probabilistic Programs

  Huang, D., Morrisett, G. & Spitters, B., 2020, Foundations of Probabilistic Programming. Barthe, G., Katoen, J.-P. & Silva, A. (eds.). Cambridge University Press, p. 75-120 46 p.

  Research output: Contribution to book/anthology/report/proceeding › Book chapter › Research › peer-review

  Open Access
  25 Citations (Scopus)