Typed Lua: An Optional Type System for Lua.

Andr Murbach Maidl, Fabio Mascarenhas, Roberto Ierusalimschy

Browse the full PLDI paper archive.