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:

Research interests: Programming Languages


DLS 2015Author of A Formalization of Typed Lua within the DLS-track