
Registered user since Sat 15 May 2021
Name:Yasunari Watanabe
Country:Singapore
Affiliation:Yale-NUS College; National University of Singapore
Personal website:https://yasunari.net
Contributions
ICFP 2021 | Certifying the Synthesis of Heap-Manipulating Programs | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2021-profile
View general profile
View general profile