Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Bas Luttik
conf.researchr.org general profile
POPL 2019 profile
Registered user since Fri 22 Feb 2019
Name:
Bas Luttik
Affiliation:
Eindhoven University of Technology
Personal website:
https://www.win.tue.nl/~luttik/
Contributions
2019
OPCT
Author of Revised Semantics for Sequential Composition in the Presence of Successful Termination (Tentative) within the OPCT 2019-track
Share
x
Sat 21 Dec 19:29