3 ms·Which paper?by michaelsbradley 10y agoWhich paper?agentultra 10y agohttp://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/baastad.pdf http://homepages.inf.ed.ac.uk/wadler/papers/marktoberdorf/ba...