1. Bernardo Almeida, Andreia Mordido & Vasco T. Vasconcelos (2019): Checking the equivalence of context-free session types. Submitted.
  2. Davide Ancona, Viviana Bono, Mario Bravetti, Joana Campos, Giuseppe Castagna, Pierre-Malo Deniélou, Simon J. Gay, Nils Gesbert, Elena Giachino, Raymond Hu, Einar Broch Johnsen, Francisco Martins, Viviana Mascardi, Fabrizio Montesi, Rumyana Neykova, Nicholas Ng, Luca Padovani, Vasco T. Vasconcelos & Nobuko Yoshida (2016): Behavioral Types in Programming Languages. Foundations and Trends in Programming Languages 3(2-3), pp. 95–230, doi:10.1561/2500000031.
  3. Stephanie Balzer & Frank Pfenning (2017): Manifest sharing with session types. PACMPL 1(ICFP), pp. 37:1–37:29, doi:10.1145/3110281.
  4. Luís Caires & Frank Pfenning (2010): Session Types as Intuitionistic Linear Propositions. In: CONCUR, LNCS 6269. Springer, pp. 222–236, doi:10.1007/978-3-642-15375-4_16.
  5. Didier Caucal (1986): Décidabiité de l'égalité des Languages Algébriques Infinitaires Simples. In: STACS 86, 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986, Proceedings. Springer, pp. 37–48, doi:10.1007/3-540-16078-7_63.
  6. Søren Christensen, Hans Hüttel & Colin Stirling (1995): Bisimulation Equivalence is Decidable for All Context-Free Processes. Inf. Comput. 121(2), pp. 143–148, doi:10.1006/inco.1995.1129.
  7. Ezra Cooper, Sam Lindley, Philip Wadler & Jeremy Yallop (2006): Links: Web Programming Without Tiers. In: Formal Methods for Components and Objects, 5th International Symposium, FMCO 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures. Springer, pp. 266–296, doi:10.1007/978-3-540-74792-5_12.
  8. Juliana Franco & Vasco Thudichum Vasconcelos (2013): A Concurrent Programming Language with Refined Session Types. In: Software Engineering and Formal Methods - SEFM 2013 Collocated Workshops: BEAT2, WS-FMDS, FM-RAIL-Bok, MoKMaSD, and OpenCert, Madrid, Spain, September 23-24, 2013, Revised Selected Papers. Springer, pp. 15–28, doi:10.1007/978-3-319-05032-4_2.
  9. Simon J. Gay & Malcolm Hole (2005): Subtyping for session types in the pi calculus. Acta Informaticæ 42(2-3), pp. 191–225. Available at
  10. Simon J. Gay & Vasco Thudichum Vasconcelos (2010): Linear type theory for asynchronous session types. J. Funct. Program. 20(1), pp. 19–50, doi:10.1017/S0956796809990268.
  11. Kohei Honda (1993): Types for Dyadic Interaction. In: CONCUR, LNCS 715. Springer, pp. 509–523, doi:10.1007/3-540-57208-2_35.
  12. Kohei Honda, Vasco Thudichum Vasconcelos & Makoto Kubo (1998): Language Primitives and Type Discipline for Structured Communication-Based Programming. In: ESOP, LNCS 1381. Springer, pp. 122–138, doi:10.1007/BFb0053567.
  13. Petr Jancar & Faron Moller (1999): Techniques for Decidability and Undecidability of Bisimilarity. In: CONCUR '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings. Springer, pp. 30–45, doi:10.1007/3-540-48320-9_5.
  14. Sam Lindley & J. Garrett Morris (2015): A Semantics for Propositions as Sessions. In: Programming Languages and Systems - 24th European Symposium on Programming, ESOP 2015, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2015, London, UK, April 11-18, 2015. Proceedings. Springer, pp. 560–584, doi:10.1007/978-3-662-46669-8_23.
  15. Sam Lindley & J. Garrett Morris (2017): Behavioural Types: from Theory to Tools, chapter Lightweight functional session types. River Publishers Series in Automation, Control and Robotics.
  16. Luca Padovani (2017): Context-Free Session Type Inference. In: Programming Languages and Systems - 26th European Symposium on Programming, ESOP 2017, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2017, Uppsala, Sweden, April 22-29, 2017, Proceedings. Springer, pp. 804–830, doi:10.1007/978-3-662-54434-1_30.
  17. Simon L. Peyton Jones, Andrew D. Gordon & Sigbjorn Finne (1996): Concurrent Haskell. In: Conference Record of POPL'96: The 23rd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, Papers Presented at the Symposium, St. Petersburg Beach, Florida, USA, January 21-24, 1996. ACM Press, pp. 295–308, doi:10.1145/237721.237794.
  18. Frank Pfenning (2018): Message-Passing Concurrency and Substructural Logics. Tutorial at POPL.
  19. Benjamin C. Pierce & David N. Turner (2000): Local type inference. ACM Trans. Program. Lang. Syst. 22(1), pp. 1–44, doi:10.1145/345099.345100.
  20. Riccardo Pucella & Jesse A. Tov (2008): Haskell session types with (almost) no class. In: Proceedings of the 1st ACM SIGPLAN Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008. ACM, pp. 25–36, doi:10.1145/1411286.1411290.
  21. John H. Reppy (1993): Concurrent ML: Design, Application and Semantics. In: Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada. Springer, pp. 165–198, doi:10.1007/3-540-56883-2_10.
  22. Peter Thiemann & Vasco T. Vasconcelos (2016): Context-free session types. In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming, ICFP 2016, Nara, Japan, September 18-22, 2016. ACM, pp. 462–475, doi:10.1145/2951913.2951926.
  23. Bernardo Toninho (2015): A Logical Foundation for Session-based Concurrent Computation. Carnegie Mellon University and Universidade Nova de Lisboa.
  24. Bernardo Toninho, Luís Caires & Frank Pfenning (2013): Higher-Order Processes, Functions, and Sessions: A Monadic Integration. In: Programming Languages and Systems - 22nd European Symposium on Programming, ESOP 2013, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2013, Rome, Italy, March 16-24, 2013. Proceedings. Springer, pp. 350–369, doi:10.1007/978-3-642-37036-6_20.
  25. Vasco T. Vasconcelos (2012): Fundamentals of session types. Inf. Comput. 217, pp. 52–70, doi:10.1016/j.ic.2012.05.002.
  26. Philip Wadler (1995): Monads for Functional Programming. In: Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, Båstad, Sweden, May 24-30, 1995, Tutorial Text. Springer, pp. 24–52, doi:10.1007/3-540-59451-5_2.

Comments and questions to:
For website issues: