Daniel Lundén

From MaRDI portal
Person:2233468



List of research outcomes

This list is not complete and representing at the moment only items from zbMATH Open and arXiv. We are working on additional sources - please check back here soon!

PublicationDate of PublicationType
Automatic alignment in higher-order probabilistic programming languages2023-11-24Paper
Correctness of sequential Monte Carlo inference for probabilistic programming languages
(available as arXiv preprint)
2021-10-18Paper


Research outcomes over time


This page was built for person: Daniel Lundén