• Sign in
  • Sign up
conf.researchr.org / Dario Stein
  • POPL 2020 profile
  • POPL 2021 profile
  • POPL 2023 profile
  • POPL 2025 profile
No Photo

Registered user since Thu 7 Jan 2021

Name:Dario Stein
Affiliation:University of Oxford

Contributions

2025

LAFI

  • Committee Member in Program Committee within the LAFI 2025-track

2023

LAFI

  • Committee Member in Program Committee within the LAFI 2023-track

2021

POPL

  • Author of Probabilistic Programming Semantics for Name Generation within the POPL-track

LAFI

  • Author of An algebraic theory of conditioning within the LAFI 2021-track

2020

LAFI

  • Author of Name generation and Higher-order Probabilistic Programming (Or is new=rnd?) within the LAFI (nĂ© PPS)-track
Share
xTue 20 May 03:14
using conf.researchr.org (v1.69.0)
Support page
Sign Up