8 results
Automatic Differentiation in Prolog
-
- Journal:
- Theory and Practice of Logic Programming / Volume 23 / Issue 4 / July 2023
- Published online by Cambridge University Press:
- 06 July 2023, pp. 900-917
-
- Article
- Export citation
Synthetic topology in Homotopy Type Theory for probabilistic programming
-
- Journal:
- Mathematical Structures in Computer Science / Volume 31 / Issue 10 / November 2021
- Published online by Cambridge University Press:
- 13 August 2021, pp. 1301-1329
-
- Article
- Export citation
2 - Probabilistic Programs as Measures
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 43-74
-
- Chapter
-
- You have access
- Open access
- Export citation
1 - Semantics of Probabilistic Programming: A Gentle Introduction
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 1-42
-
- Chapter
-
- You have access
- Open access
- Export citation
4 - On Probabilistic λ-Calculi
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 121-144
-
- Chapter
-
- You have access
- Open access
- Export citation
12 - Quantitative Information Flow with Monads in Haskell
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 391-448
-
- Chapter
-
- You have access
- Open access
- Export citation
9 - The Logical Essentials of Bayesian Reasoning
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 295-332
-
- Chapter
-
- You have access
- Open access
- Export citation
Implementing a Library for Probabilistic Programming Using Non-strict Non-determinism
-
- Journal:
- Theory and Practice of Logic Programming / Volume 20 / Issue 1 / January 2020
- Published online by Cambridge University Press:
- 02 July 2019, pp. 147-175
-
- Article
-
- You have access
- Open access
- Export citation