The paper is fascinating from a compilers + VM perspective.

Short video summary: https://youtu.be/ES7fkec3Jv8