Registered user since Fri 22 Feb 2019
Name:Bas Luttik
Affiliation:Eindhoven University of Technology
Personal website:https://www.win.tue.nl/~luttik/
Contributions
| OPCT 2019 | Revised Semantics for Sequential Composition in the Presence of Successful Termination (Tentative) | ||||||||||||||||||||||||||||||||||||||||
| Show activities from other conferences | |||||||||||||||||||||||||||||||||||||||||
POPL 2019-profile
View general profile
View general profile