Benchmarking, Verification & Validation

1 paper for year 2017 from Crossref

All years 2026 116 2025 4 2024 14 2023 9 2022 8 2021 7 2020 13 2019 13 2018 1 2017 4 2016 4 2015 3 2014 7 2012 6 2011 6 2010 1 2008 2 2007 3 2004 1 2000 1 1999 2 1998 1
All sources 4 Crossref 1 Europe PMC 1 DOAJ 2

Showing 1-1 of 1

Denotational validation of higher-order Bayesian inference

Adam Ścibior, Ohad Kammar, Matthijs Vákár, Sam Staton, Hongseok Yang, Yufei Cai, Klaus Ostermann, Sean K. Moss, Chris Heunen, Zoubin Ghahramani

2017 Crossref Proceedings of the ACM on Programming Languages