Registered user since Mon 27 Nov 2017
Name:Thomas Van Strydonck
Affiliation:KULeuven
Contributions
PriSC 2018 | Linear capabilities for modular fully-abstract compilation of verified code | ||||||||||||||||||||||||||||||||||||||||
Show activities from other conferences |
POPL 2018-profile
View general profile
View general profile