ICFP 2021
Sun 22 - Sat 28 August 2021
George Pîrlea

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