1. Guillaume Allais, Robert Atkey, James Chapman, Conor McBride & James McKinna (2018): A Type and Scope Safe Universe of Syntaxes with Binding: Their Semantics and Proofs. Proc. ACM Program. Lang. 2(ICFP), pp. 90:1–90:30, doi:10.1145/3236785.
  2. Thorsten Altenkirch, Martin Hofmann & Thomas Streicher (1995): Categorical Reconstruction of a Reduction Free Normalization Proof. In: David H. Pitt, David E. Rydeheard & Peter T. Johnstone: Category Theory and Computer Science, 6th International Conference, CTCS '95, Cambridge, UK, August 7-11, 1995, Proceedings, Lecture Notes in Computer Science 953. Springer, pp. 182–199, doi:10.1007/3-540-60164-3_27.
  3. Robert Atkey (2009): Parameterised notions of computation. Journal of Functional Programming 19(3-4), pp. 335–376, doi:10.1017/S095679680900728X.
  4. Stephanie Balzer & Frank Pfenning (2015): Objects as session-typed processes. In: Elisa Gonzalez Boix, Philipp Haller, Alessandro Ricci & Carlos Varela: Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control, AGERE! 2015, Pittsburgh, PA, USA, October 26, 2015. ACM, pp. 13–24, doi:10.1145/2824815.2824817.
  5. Laura Bocchi, Kohei Honda, Emilio Tuosto & Nobuko Yoshida (2010): A Theory of Design-by-Contract for Distributed Multiparty Interactions. In: Paul Gastin & François Laroussinie: CONCUR 2010 - Concurrency Theory, 21th International Conference, CONCUR 2010, Paris, France, August 31-September 3, 2010. Proceedings, Lecture Notes in Computer Science 6269. Springer, pp. 162–176, doi:10.1007/978-3-642-15375-4_12.
  6. Johannes Borgström, Juan Chen & Nikhil Swamy (2011): Verifying stateful programs with substructural state and hoare types. In: Ranjit Jhala & Wouter Swierstra: Proceedings of the 5th ACM Workshop Programming Languages meets Program Verification, PLPV 2011, Austin, TX, USA, January 29, 2011. ACM, pp. 15–26, doi:10.1145/1929529.1929532.
  7. Edwin Brady (2013): Idris, a general-purpose dependently typed programming language: Design and implementation. J. Funct. Program. 23(5), pp. 552–593, doi:10.1017/S095679681300018X.
  8. Edwin Brady (2014): Resource-Dependent Algebraic Effects. In: Jurriaan Hage & Jay McCarthy: Trends in Functional Programming - 15th International Symposium, TFP 2014, Soesterberg, The Netherlands, May 26-28, 2014. Revised Selected Papers, Lecture Notes in Computer Science 8843. Springer, pp. 18–33, doi:10.1007/978-3-319-14675-1_2.
  9. Edwin Brady (2016): State Machines All The Way Down: An Architecture for Dependently Typed Applications. Available at Unpublished Draft..
  10. Edwin Brady (2016): Type-Driven Devlopment with Idris, 1st edition. Manning. Available at
  11. Edwin Brady (2017): Type-driven Development of Concurrent Communicating Systems. Computer Science (AGH) 18(3), doi:10.7494/csci.2017.18.3.1413.
  12. Edwin Brady & Kevin Hammond (2010): Correct-by-Construction Concurrency: Using Dependent Types to Verify Implementations of Effectful Resource Usage Protocols. Fundam. Inform. 102(2), pp. 145–176, doi:10.3233/FI-2010-303.
  13. Edwin Brady & Kevin Hammond (2012): Resource-Safe Systems Programming with Embedded Domain Specific Languages. In: Claudio V. Russo & Neng-Fa Zhou: Practical Aspects of Declarative Languages - 14th International Symposium, PADL 2012, Philadelphia, PA, USA, January 23-24, 2012. Proceedings, Lecture Notes in Computer Science 7149. Springer, pp. 242–257, doi:10.1007/978-3-642-27694-1_18.
  14. David Castro, Raymond Hu, Sung-Shik Jongmans, Nicholas Ng & Nobuko Yoshida (2019): Distributed Programming Using Role-parametric Session Types in Go: Statically-typed Endpoint APIs for Dynamically-instantiated Communication Structures. Proc. ACM Program. Lang. 3(POPL), pp. 29:1–29:30, doi:10.1145/3290342.
  15. James Maitland Chapman (2009): Type checking and normalisation. School of Computer Science, University of Nottingham. Available at
  16. Simon Fowler, Sam Lindley, J. Garrett Morris & Sára Decova (2019): Exceptional Asynchronous Session Types: Session Types Without Tiers. Proc. ACM Program. Lang. 3(POPL), pp. 28:1–28:29, doi:10.1145/3290341.
  17. Timothy S. Freeman & Frank Pfenning (1991): Refinement Types for ML. In: David S. Wise: Proceedings of the ACM SIGPLAN'91 Conference on Programming Language Design and Implementation (PLDI), Toronto, Ontario, Canada, June 26-28, 1991. ACM, pp. 268–277, doi:10.1145/113445.113468.
  18. Andrew D. Gordon & Alan Jeffrey (2003): Authenticity by Typing for Security Protocols. Journal of Computer Security 11(4), pp. 451–520, doi:10.3233/JCS-2003-11402. Available at
  19. Nicolas Guenot, Daniel Gustafsson & Nicola Pouillard (2015): Dependent Communication in Type Theory. Available at
  20. Kohei Honda, Nobuko Yoshida & Marco Carbone (2016): Multiparty Asynchronous Session Types. J. ACM 63(1), pp. 9:1–9:67, doi:10.1145/2827695.
  21. Raymond Hu & Nobuko Yoshida (2017): Explicit Connection Actions in Multiparty Session Types. In: Marieke Huisman & Julia Rubin: Fundamental Approaches to Software Engineering - 20th International Conference, FASE 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings, Lecture Notes in Computer Science 10202. Springer, pp. 116–133, doi:10.1007/978-3-662-54494-5_7.
  22. Thomas Bracht Laumann Jespersen, Philip Munksgaard & Ken Friis Larsen (2015): Session Types for Rust. In: Proceedings of the 11th ACM SIGPLAN Workshop on Generic Programming, WGP 2015. ACM, New York, NY, USA, pp. 13–22, doi:10.1145/2808098.2808100.
  23. David Kaloper-Mersinjak, Hannes Mehnert, Anil Madhavapeddy & Peter Sewell (2015): Not-Quite-So-Broken TLS: Lessons in Re-Engineering a Security Protocol Specification and Implementation. In: Jaeyeon Jung & Thorsten Holz: 24th USENIX Security Symposium, USENIX Security 15, Washington, D.C., USA, August 12-14, 2015.. USENIX Association, pp. 223–238. Available at
  24. Dimitrios Kouzapas, Ornela Dardha, Roly Perera & Simon J. Gay (2016): Typechecking Protocols with Mungo and StMungo. In: Proceedings of the 18th International Symposium on Principles and Practice of Declarative Programming, PPDP '16. ACM, New York, NY, USA, pp. 146–159, doi:10.1145/2967973.2968595.
  25. Julien Lange, Nicholas Ng, Bernardo Toninho & Nobuko Yoshida (2017): Fencing off go: liveness and safety for channel-based programming. In: Giuseppe Castagna & Andrew D. Gordon: Proceedings of the 44th ACM SIGPLAN Symposium on Principles of Programming Languages, POPL 2017, Paris, France, January 18-20, 2017. ACM, pp. 748–761, doi:10.1145/3009837. Available at
  26. Sam Lindley & J Garrett Morris (2017): Behavioural Types: from Theory to Tools, chapter Lightweight Functional Session Types. River Publishers, doi:10.13052/rp-9788793519817.
  27. Rumyana Neykova, Raymond Hu, Nobuko Yoshida & Fahd Abdeljallal (2018): A session type provider: compile-time API generation of distributed protocols with refinements in F#. In: Christophe Dubach & Jingling Xue: Proceedings of the 27th International Conference on Compiler Construction, CC 2018, February 24-25, 2018, Vienna, Austria. ACM, pp. 128–138, doi:10.1145/3178372.3179495.
  28. Nicholas Ng, Nobuko Yoshida & Kohei Honda (2012): Multiparty Session C: Safe Parallel Programming with Message Optimisation, pp. 202–218. Springer Berlin Heidelberg, Berlin, Heidelberg, doi:10.1007/978-3-642-30561-0_15.
  29. Ulf Norell (2009): Dependently Typed Programming in Agda. In: Proceedings of the 4th International Workshop on Types in Language Design and Implementation, TLDI '09. ACM, New York, NY, USA, pp. 1–2, doi:10.1145/1481861.1481862.
  30. Dominic Orchard & Nobuko Yoshida (2016): Effects As Sessions, Sessions As Effects. SIGPLAN Not. 51(1), pp. 568–581, doi:10.1145/2914770.2837634.
  31. Tomas Petricek, Gustavo Guerra & Don Syme (2016): Types from data: making structured data first-class citizens in F#. In: Chandra Krintz & Emery Berger: Proceedings of the 37th ACM SIGPLAN Conference on Programming Language Design and Implementation, PLDI 2016, Santa Barbara, CA, USA, June 13-17, 2016. ACM, pp. 477–490, doi:10.1145/2908080.2908115.
  32. J. Postel (1972): Echo process. RFC 347. Available at
  33. J. Postel (1981): Transmission Control Protocol. RFC 793 (INTERNET STANDARD). Available at Updated by RFCs 1122, 3168, 6093, 6528.
  34. J. Postel (1983): Echo Protocol. RFC 862 (INTERNET STANDARD). Available at
  35. Riccardo Pucella & Jesse A. Tov (2008): Haskell Session Types with (Almost) No Class. In: Proceedings of the First ACM SIGPLAN Symposium on Haskell, Haskell '08. ACM, New York, NY, USA, pp. 25–36, doi:10.1145/1411286.1411290.
  36. Matthew Sackman & Susan Eisenbach (2008): Session Types in Haskell: Updating Message Passing for the 21st Century. Technical Report. Imperial College London. Available at
  37. Bernardo Toninho & Nobuko Yoshida (2016): Certifying data in multiparty session types. Journal of Logical and Algebraic Methods in Programming, doi:10.1016/j.jlamp.2016.11.005.
  38. Bernardo Toninho & Nobuko Yoshida (2018): Depending on Session-Typed Processes. In: Christel Baier & Ugo Dal Lago: Foundations of Software Science and Computation Structures - 21st International Conference, FOSSACS 2018, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2018, Thessaloniki, Greece, April 14-20, 2018, Proceedings, Lecture Notes in Computer Science 10803. Springer, pp. 128–145, doi:10.1007/978-3-319-89366-2_7.
  39. Nobuko Yoshida, Raymond Hu, Rumyana Neykova & Nicholas Ng (2014): The Scribble Protocol Language, pp. 22–41. Springer International Publishing, Cham, doi:10.1007/978-3-319-05119-2_3.

Comments and questions to:
For website issues: