Foundations of Probabilistic Programming
From MaRDI portal
Publication:5134467
DOI10.1017/9781108770750zbMath1458.68003OpenAlexW2977408235MaRDI QIDQ5134467
No author found.
Publication date: 16 November 2020
Full work available at URL: https://doi.org/10.1017/9781108770750
Collections of articles of miscellaneous specific interest (00B15) Proceedings, conferences, collections, etc. pertaining to computer science (68-06) General topics in the theory of software (68N01)
Related Items (2)
Program equivalence in a typed probabilistic call-by-need functional language ⋮ The probabilistic termination tool amber
This page was built for publication: Foundations of Probabilistic Programming
