Hernán Wilkinson: VM support for live typing: automatic type annotation for dynamically typed languages. Programming 2019: 9:1-9:3