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