The Further Reading slide from Edwin Brady’s presentation Type-driven Development of Communicating Systems in Idris (Lamda World, 2016) was tweeted as an image, eliminating the advantages of hyperlinks.
I have reproduced that slide with the links as follows:
Further Reading
On total functional programming
- David Turner, Elementary Strong Functional Programming, 2005
On interactive programming with dependent types
- Peter Hancock and Anton Setzer, Interactive Programs in Dependent Type Theory, 2000
On types for communicating systems:
- Kohei Honda, Types for Dyadic Interaction, 1993
- Kohei Honda, Nobuko Yoshia, Marco Carbone, Multiparty Asynchronous Session Types, 2008
- Philip Wadler, Propositions as Sessions, 2012
On Wadler’s paper, you may enjoy the video of his presentation, Propositions as Sessions or his slides (2016), Propositions as Sessions, Philip Wadler, University of Edinburgh, Betty Summer School, Limassol, Monday 27 June 2016.