Not registered as user
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