↓ Skip to main content
What is this page? Embed badge

Programming Languages and Systems

Overview of attention for book
Cover of 'Programming Languages and Systems'

Table of Contents

  1. Altmetric Badge
    Book Overview
  2. Altmetric Badge
    Chapter 1 Compilation Semantics for a Programming Language with Versions
  3. Altmetric Badge
    Chapter 2 What Types Are Needed for Typing Dynamic Objects? A Python-Based Empirical Study
  4. Altmetric Badge
    Chapter 3 Types and Semantics for Extensible Data Types
  5. Altmetric Badge
    Chapter 4 A Diamond Machine for Strong Evaluation
  6. Altmetric Badge
    Chapter 5 Proofs as Terms, Terms as Graphs
  7. Altmetric Badge
    Chapter 6 Typed Non-determinism in Functional and Concurrent Calculi
  8. Altmetric Badge
    Chapter 7 A Fresh Look at Commutativity: Free Algebraic Structures via Fresh Lists
  9. Altmetric Badge
    Chapter 8 Oracle Computability and Turing Reducibility in the Calculus of Inductive Constructions
  10. Altmetric Badge
    Chapter 9 Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq
  11. Altmetric Badge
    Chapter 10 Towards a Framework for Developing Verified Assemblers for the ELF Format
  12. Altmetric Badge
    Chapter 11 Transport via Partial Galois Connections and Equivalences
  13. Altmetric Badge
    Chapter 12 Argument Reduction of Constrained Horn Clauses Using Equality Constraints
  14. Altmetric Badge
    Chapter 13 Incorrectness Proofs for Object-Oriented Programs via Subclass Reflection
  15. Altmetric Badge
    Chapter 14 m -CFA Exhibits Perfect Stack Precision
  16. Altmetric Badge
    Chapter 15 TorchProbe: Fuzzing Dynamic Deep Learning Compilers
Attention for Chapter 9: Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq
Altmetric Badge
Summary
You are seeing a free-to-access but limited selection of the activity Altmetric has collected about this research output. Click here to find out more.
Chapter title
Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq
Chapter number 9
Book title
Programming Languages and Systems
Published by
Springer, Singapore, January 2023
DOI 10.1007/978-981-99-8311-7_9
Book ISBNs
978-9-81-998310-0, 978-9-81-998311-7
Authors

Saito, Ayumu, Affeldt, Reynald

View on publisher site

This page is provided by Altmetric.