Registered user since Sun 29 Aug 2021
Name:Stelios Tsampas
Country:Greece
Affiliation:FAU Erlangen-Nuremberg, INF 8
Personal website:https://distrinet.cs.kuleuven.be/people/SteliosTsampas
Research interests:Programming Language Foundations, Category Theory, Information Security
Contributions
| APLAS 2021 | Fully Abstract and Robust Compilation and How to Reconcile the Two, Abstractly | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
SPLASH 2021-profile
View general profile
View general profile