ICFP 2022
Sun 11 - Fri 16 September 2022 Ljubljana, Slovenia

Registered user since Sun 26 Jun 2022

Name:Bernard Boey
Affiliation:Yale-NUS College
Personal website:https://bboey.com/

Contributions

ICFP 2022 HenBlocks: Structured Editing for Coq
Show activities from other conferences

Using general profile