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