André Murbach Maidl, Fabio Mascarenhas, Roberto Ierusalimschy. A formalization of typed lua. In Manuel Serrano, editor, Proceedings of the 11th Symposium on Dynamic Languages, DLS 2015, part of SPLASH 2015, Pittsburgh, PA, USA, October 25-30, 2015. pages 13-25, ACM, 2015. [doi]
Abstract is missing.