Registered user since Fri 29 Sep 2023
Name:Kento Takyu
Country:Japan
Affiliation:Waseda University
Personal website: https://www.ueda.info.waseda.ac.jp/~takyu/
Contributions
2025
Symposium on Practical Aspects of Declarative Languages
Using general profile