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.
Personal website: https://github.com/andremm
Research interests: Programming Languages
|DLS 2015||Author of A Formalization of Typed Lua within the DLS-track|