People interested in experimental Lua type systems might also want to check out Typed Lua, André Maidl's ongoing dissertation project. He will be doing a presen

People interested in experimental Lua type systems might also want to check out Typed Lua, André Maidl's ongoing dissertation project. He will be doing a presentation soon at the Dyla workshop: http://www.lifl.fr/dyla14/ http://www.lifl.fr/dyla14/