• Sign in
  • Sign up
conf.researchr.org / Alexander Bagnall
  • PLDI 2023 profile
  • POPL 2020 profile

Not registered as user yet

Name:Alexander Bagnall
Affiliation:Ohio University

Contributions

2023

PLDI

  • Author of Formally Verified Samplers from Probabilistic Programs with Loops and Conditioning within the PLDI Research Papers-track

2020

LAFI

  • Author of Coinductive Trees for Exact Inference of Probabilistic Programs within the LAFI (nĂ© PPS)-track
Share
xThu 5 Oct 01:02
using conf.researchr.org (v1.61.3)
Support page
Sign Up