Ohad Kammar

Ohad Kammar

University of Edinburgh - Edinburgh / United Kingdom
Others
AD Scientific Index ID: 1355517
person_outline Ohad Kammar's MOST POPULAR ARTICLES
1-) Handlers in actionO Kammar, S Lindley, N OuryACM SIGPLAN Notices 48 (9), 145-158, 20132142013
2-) A convenient category for higher-order probability theory - C Heunen, O Kammar, S Staton, H Yang
3-) Semantics for probabilistic programming: higher-order functions, continuous distributions, and soft constraints - S Staton, H Yang, F Wood, C Heunen, O Kammar
4-) A domain theory for statistical probabilistic programmingM Vákár, O Kammar, S StatonProceedings of the ACM on Programming Languages 3 (POPL), 1-29, 20191072019
5-) Denotational validation of higher-order Bayesian inferenceA Ścibior, O Kammar, M Vákár, S Staton, H Yang, Y Cai, K Ostermann, ...Proceedings of the ACM on Programming Languages 2 (POPL), 60:1-29, 2018852018