If anyone would like some pre-summit reading, I’ve put a draft of my paper on “Computation as Subtyping” here: https://www.cl.cam.ac.uk/~gete2/wrapper.pdf
There are some TODOs to be filled in, but almost all the content is there. Any comments would be welcome!