FLOPS 2022
Tue 10 - Thu 12 May 2022 Online
Yukiyoshi Kameyama

Registered user since Sat 5 Mar 2016

Name:Yukiyoshi Kameyama
Country:Japan
Affiliation:University of Tsukuba
Research interests:Functional Programming, Type Theory, Staged Computation, Theorem Proving

Contributions

FLOPS 2022 Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform
Unified Program Generation and Verification: A Case Study on Number-Theoretic Transform
Show activities from other conferences

FLOPS 2022-profile
View general profile