Not registered as user yet

Name:Ayumu Saito
Affiliation:Tokyo Institute of Technology

Contributions

CPP 2023 Semantics of Probabilistic Programs using S-Finite Kernels in Coq
Show activities from other conferences

POPL 2023-profile
View general profile