Post #2578192

@joe@f.duriansoftware.com Type systems for higher level languages that try to include some notion of stack tend to view it more like a pure continuation or coterm. Is there a coherent way to model the stack like this above the assembly level? Not to ride up the score against Wasm today, but we could have had this: https://www.cs.cornell.edu/talc/papers/stal-tic-abstract.html