![Marc Denecker](https://conf.researchr.org/getProfileImage/marcdenecker/d3a8a957-aed1-40f4-8c2d-24f50a2985da/small.jpg?1717744714000)
Not registered as user yet
Name:Marc Denecker
Affiliation:KU Leuven
Personal website: http://people.cs.kuleuven.be/~marc.denecker/
Contributions
2016
Symposium on Practical Aspects of Declarative Languages
POPL 2016-profile
View general profile
View general profile