5570 results in Programming Languages and Applied Logic
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
Preface
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp xi-xiv
-
- Chapter
-
- You have access
- Open access
- Export citation
15 - Programming Unreliable Hardware
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 533-568
-
- 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
8 - Quantitative Analysis of Programs with Probabilities and Concentration of Measure Inequalities
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 259-294
-
- Chapter
-
- You have access
- Open access
- Export citation
13 - Luck: A Probabilistic Language for Testing
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 449-488
-
- Chapter
-
- You have access
- Open access
- Export citation
3 - Application ofComputable Distributions to the Semantics of Probabilistic Programs
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 75-120
-
- Chapter
-
- You have access
- Open access
- Export citation
6 - Expected Runtime Analyis by Program Verification
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 185-220
-
- 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
14 - Tabular: Probabilistic Inference from the Spreadsheet
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 489-532
-
- Chapter
-
- You have access
- Open access
- Export citation
10 - Quantitative Equational Reasoning
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 333-360
-
- Chapter
-
- You have access
- Open access
- Export citation
5 - Probabilistic Couplings from Program Logics
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 145-184
-
- Chapter
-
- You have access
- Open access
- Export citation
Contents
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp v-vi
-
- Chapter
-
- You have access
- Open access
- Export citation
7 - Termination Analysis of Probabilistic Programs with Martingales
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 221-258
-
- Chapter
-
- You have access
- Open access
- Export citation
Frontmatter
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp i-iv
-
- Chapter
-
- You have access
- Open access
- Export citation
11 - Probabilistic Abstract Interpretation: Sound Inference and Application to Privacy
-
-
- Book:
- Foundations of Probabilistic Programming
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020, pp 361-390
-
- 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
Foundations of Probabilistic Programming
-
- Published online:
- 18 November 2020
- Print publication:
- 03 December 2020
-
- Book
-
- You have access
- Open access
- Export citation
Part VII - Extensions of AD, Models with Choice
-
- Book:
- Large Cardinals, Determinacy and Other Topics
- Published online:
- 27 October 2020
- Print publication:
- 05 November 2020, pp 1-2
-
- Chapter
- Export citation
Original Numbering
-
- Book:
- Large Cardinals, Determinacy and Other Topics
- Published online:
- 27 October 2020
- Print publication:
- 05 November 2020, pp xi-xvi
-
- Chapter
- Export citation