I came across this paper [1] through the "morning paper" blog [2]. It describes a hardware architecture with support for dynamic types and uses Lua as an example. I thought it might interest some of the readers of the list. [1] https://blog.acolyer.org/2017/05/22/typed-architectures-architectural-support-for-lightweight-scripting/ [2] https://pllab.github.io/papers/Typed-Architectures-Architectural-Support-for-Lightweight-Scripting/KIM-ET-AL_typed-architectures-architectural-support-for-lightweight-scripting_2017_ASPLOS.pdf