Registered user since Wed 6 Dec 2017
Name:George Pîrlea
Country:Singapore
Affiliation:National University of Singapore, Singapore
Personal website:https://pirlea.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