
Registered user since Sun 26 Jun 2022
Name:Bernard Boey
Country:Singapore
Affiliation:Yale-NUS College
Personal website:https://bboey.com/
Research interests:User Interfaces, Software Engineering
Contributions
ICFP 2022 | HenBlocks: Structured Editing for Coq | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
ICFP 2022-profile
View general profile
View general profile