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