POPL 2023
Sun 15 - Sat 21 January 2023 Boston, Massachusetts, United States
POPL 2023 (series) / C.-H. Luke Ong
C.-H. Luke Ong

Registered user since Thu 8 Oct 2015

Name:C.-H. Luke Ong
Country:United Kingdom
Affiliation:University of Oxford
Personal website:http://www.cs.ox.ac.uk/people/luke.ong/personal
Research interests:Probabilistic Programming, Programming Languages and Verification, Semantics of Computation, Logic and Algorithms, Higher-Order Model Checking; Lambda Calculus and Type Theory

Contributions

LAFI 2023 Exact Inference for Discrete Probabilistic Programs via Generating Functions
Pitfalls of Full Bayesian Inference in Universal Probabilistic Programming
Show activities from other conferences

POPL 2023-profile
View general profile