
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