Johan Jeuring

Registered user since Thu 24 Mar 2022

Name:Johan Jeuring
Affiliation:Utrecht University
Personal website:http://www.jeuring.net

Contributions

PADL 2023 Program Synthesis Using Example Propagation
Show activities from other conferences

POPL 2023-profile
View general profile