Philip Wadler's home pagehttps://homepages.inf.ed.ac.uk/wadler/
Gradual typing meets cryptography , Jeremy Siek and Philip Wadler. Draft paper, March 2016, updated July 2016. Everything Old is New Again , Shayan Najd, Sam Lindley, Josef Svenni
That's everything I could find.
Help make me smarter by submitting a page.