Toggle navigation
Sign in
Sign up
conf.researchr.org
/
Fabio Mascarenhas
conf.researchr.org general profile
SPLASH 2015 profile
SPLASH 2017 profile
Registered user since Thu 13 Aug 2015
Name:
Fabio Mascarenhas
Affiliation:
UFRJ
Contributions
2017
DLS
Author of Decoding Lua: Formal Semantics for the Developer and the Semanticist within the DLS 2017-track
2015
DLS
Author of A Formalization of Typed Lua within the DLS-track
Share
x
Wed 21 May 18:52
