![Niek Mulleners](https://popl23.sigplan.org/getProfileImage/niekmulleners/6f58b587-5ce7-461b-a4ac-8aa05bc7f453/small.jpg?1711466570000)
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
2023
Symposium on Practical Aspects of Declarative Languages
POPL 2023-profile
View general profile
View general profile