• Sign in
  • Sign up
conf.researchr.org / Ayumu Saito
  • APLAS 2023 profile
  • ICFP 2023 profile
  • POPL 2023 profile
No Photo

Registered user since Fri 21 Jul 2023

Name:Ayumu Saito
Affiliation:Tokyo Institute of Technology

Contributions

2023

APLAS

  • Author of Experimenting with an Intrinsically-Typed Probabilistic Programming Language in Coq within the APLAS 2023-track

TyDe

  • Author of An Intrinsically-typed Probabilistic Programming Language in Coq (Extended Abstract) within the TyDe 2023-track

CPP

  • Author of Semantics of Probabilistic Programs using S-Finite Kernels in Coq within the CPP 2023-track
Share
xTue 20 May 22:08
using conf.researchr.org (v1.69.0)
Support page
Sign Up