SPLASH 2022
Mon 5 - Sat 10 December 2022 Auckland, New Zealand
Niek Mulleners

Registered user since Thu 6 May 2021

Name:Niek Mulleners
Country:Netherlands
Affiliation:Utrecht University
Research interests:Type Theory, Dependently Typed Programming, Formal Verification, Program Synthesis

Contributions

HATRA 2022 Program Synthesis Using Example Propagation
Committee Member in Program Committee within the Human Aspects of Types and Reasoning Assistants-track
Show activities from other conferences

SPLASH 2022-profile
View general profile