conf.researchr.org / Andre Murbach Maidl
Registered user since Thu 20 Aug 2015
Name:Andre Murbach Maidl
Bio:
Andre Murbach Maidl is a researcher in the field of programming languages. He is particularly interested in the design of optional and gradual type systems for dynamically typed languages.
Country:Brazil
Affiliation:PUC-Rio
Personal website:https://github.com/andremm
Research interests:Programming Languages
Contributions
| DLS 2015 | Author of A Formalization of Typed Lua within the DLS-track |