Bernardo Almeida, Andreia Mordido & Vasco T. Vasconcelos (2019):
Checking the equivalence of context-free session types.
Submitted.
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.
Stephanie Balzer & Frank Pfenning (2017):
Manifest sharing with session types.
PACMPL 1(ICFP),
pp. 37:1–37:29,
doi:10.1145/3110281.
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.
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.
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.
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.
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.
Simon J. Gay & Malcolm Hole (2005):
Subtyping for session types in the pi calculus.
Acta Informaticæ 42(2-3),
pp. 191–225.
Available at http://dx.doi.org/10.1007/s00236-005-0177-z.
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.
Kohei Honda (1993):
Types for Dyadic Interaction.
In: CONCUR,
LNCS 715.
Springer,
pp. 509–523,
doi:10.1007/3-540-57208-2_35.
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.
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.
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.
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.
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.
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.
Frank Pfenning (2018):
Message-Passing Concurrency and Substructural Logics.
Tutorial at POPL.
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.
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.
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.
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.
Bernardo Toninho (2015):
A Logical Foundation for Session-based Concurrent Computation.
Carnegie Mellon University and Universidade Nova de Lisboa.
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.
Vasco T. Vasconcelos (2012):
Fundamentals of session types.
Inf. Comput. 217,
pp. 52–70,
doi:10.1016/j.ic.2012.05.002.
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.