@screwtape here's two links that are not papers and make things a bit easier to understand. I'm writing a guide of my own right now which should be like "tell me like I'm five"
github.com/HigherOrderCO/HVM/b
github.com/inpla/inpla/blob/ma