
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