Registered user since Mon 10 Feb 2020
Name:Tom Schrijvers
Affiliation:KU Leuven
Personal website:http://people.cs.kuleuven.be/~tom.schrijvers
Contributions
| POPL 2020 | PλωNK: Functional Probabilistic NetKAT | ||||||||||||||||||||||||||||||||||||||||
| PEPM 2020 | Committee Member in Program Committee within the PEPM 2020-track | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2020-profile
View general profile
View general profile