Not registered as user yet

Name:Bastiaan Heeren
Country:Netherlands
Affiliation:Open University of the Netherlands, Netherlands

Contributions

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

POPL 2023-profile
View general profile