Correctness of Sequential Monte Carlo Inference for Probabilistic Programming Languages

von Lundén, Daniel
Veröffentlicht in ESOP (30. : 2021 : Online) Programming languages and systems (2021)

Automatic Alignment in Higher-Order Probabilistic Programming Languages

von Lundén, Daniel
Veröffentlicht in ESOP (32. : 2023 : Paris) Programming languages and systems (2023)

Compiling Universal Probabilistic Programming Languages with Efficient Parallel Sequential Monte Carlo Inference

von Lunden, Daniel
Veröffentlicht in ESOP (31. : 2022 : München) Programming languages and systems (2022)