Another stab at a "typed Lua" is this paper by one of the original authors of Lua: https://doi.org/10.1016/j.scico.2020.102393 https://doi.org/10.1016/j.scico.2

Another stab at a "typed Lua" is this paper by one of the original authors of Lua: https://doi.org/10.1016/j.scico.2020.102393 https://doi.org/10.1016/j.scico.2020.102393 The paper describes the language Pallene