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 2015Author of A Formalization of Typed Lua within the DLS-track