You might be interested in this thread from a few weeks ago. https://news.ycombinator.com/item?id=14341623

For me, the most helpful comment in that discussion was a link to this paper, written by the WebAssembly designers.

https://github.com/WebAssembly/spec/blob/master/papers/pldi2...