1. Blame and coercion: Together again for the first time. (13th October 2021) Authors: SIEK, JEREMY G.; THIEMANN, PETER; WADLER, PHILIP Journal: Journal of functional programming Issue: Volume 31(2021) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
2. Gradual session types. (2019) Authors: IGARASHI, ATSUSHI; THIEMANN, PETER; TSUDA, YUYA; VASCONCELOS, VASCO T.; WADLER, PHILIP Journal: Journal of functional programming Issue: Volume 29(2019) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
3. Leibniz equality is isomorphic to Martin-Löf identity, parametrically. (17th June 2020) Authors: ABEL, ANDREAS; COCKX, JESPER; DEVRIESE, DOMINIQUE; TIMANY, AMIN; WADLER, PHILIP Journal: Journal of functional programming Issue: Volume 30(2020) Page Start: Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
4. Propositions as sessions*. Issue 2 (31st January 2014) Authors: WADLER, PHILIP Journal: Journal of functional programming Issue: Volume 24:Issue 2/3(2014) Page Start: 384 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗
5. Propositions as sessions*. Issue 2 (May 2014) Authors: WADLER, PHILIP Journal: Journal of functional programming Issue: Volume 24:Issue 2/3(2014) Page Start: 384 Record Type: Journal Article View Content: Available online (eLD content is only available in our Reading Rooms) ↗