Automatic alignment in higher-order probabilistic programming languages

DOI10.1007/978-3-031-30044-8_20zbMATH Open1541.68063MaRDI QIDQ6535257

Daniel Lundén, David Broman, Gizem Çaylak, Fredrik Ronquist

Publication date: 24 November 2023

zbMATH Keywords

operational semanticsstatic analysisprobabilistic programming

Mathematics Subject Classification ID

Other programming paradigms (object-oriented, sequential, concurrent, automatic, etc.) (68N19) Theory of programming languages (68N15)

Cites Work

• Title not available (Why is that?)
• Title not available (Why is that?)
• Title not available (Why is that?)
• Semantics of probabilistic programs
• Correctness of sequential Monte Carlo inference for probabilistic programming languages
• Types and programing languages
• Control-flow analysis of functional programs
• A lambda-calculus foundation for universal probabilistic programming
• Probabilistic Programming Language and its Incremental Evaluation
• Semantics for probabilistic programming
• 10.1162/jmlr.2003.3.4-5.993
• Elements of Sequential Monte Carlo

This page was built for publication: Automatic alignment in higher-order probabilistic programming languages

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q6535257)