A formalization of typed lua - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

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]

This author has not been identified. Look up 'André Murbach Maidl' in GoogleThis author has not been identified. Look up 'Fabio Mascarenhas' in GoogleThis author has not been identified. Look up 'Roberto Ierusalimschy' in Google

runs on WebDSL