@unpublished(typeEquivalence,
 author       = {Bernardo Almeida and Andreia Mordido and Vasco T. Vasconcelos},
 year         = {2019},
 title        = {Checking the equivalence of context-free session types},
 note         = {Submitted},
)
@article(DBLP:journals/ftpl/AnconaBB0CDGGGH16,
 author       = {Davide Ancona and Viviana Bono and Mario Bravetti and Joana Campos and Giuseppe Castagna and Pierre{-}Malo Deni{\'{e}}lou and Simon J. Gay and Nils Gesbert and Elena Giachino and Raymond Hu and Einar Broch Johnsen and Francisco Martins and Viviana Mascardi and Fabrizio Montesi and Rumyana Neykova and Nicholas Ng and Luca Padovani and Vasco T. Vasconcelos and Nobuko Yoshida},
 year         = {2016},
 title        = {Behavioral Types in Programming Languages},
 journal      = {Foundations and Trends in Programming Languages},
 volume       = {3},
 number       = {2-3},
 pages        = {95--230},
 doi          = {10.1561/2500000031},
)
@article(DBLP:journals/pacmpl/BalzerP17,
 author       = {Stephanie Balzer and Frank Pfenning},
 year         = {2017},
 title        = {Manifest sharing with session types},
 journal      = {{PACMPL}},
 volume       = {1},
 number       = {{ICFP}},
 pages        = {37:1--37:29},
 doi          = {10.1145/3110281},
)
@inproceedings(DBLP:conf/concur/CairesP10,
 author       = {Lu{\'{\i}}s Caires and Frank Pfenning},
 year         = {2010},
 title        = {Session Types as Intuitionistic Linear Propositions},
 booktitle    = {CONCUR},
 series       = {LNCS},
 volume       = {6269},
 publisher    = {Springer},
 pages        = {222--236},
 doi          = {10.1007/978-3-642-15375-4\_16},
)
@inproceedings(caucal1986decidabilite,
 author       = {Didier Caucal},
 year         = {1986},
 title        = {D{\'{e}}cidabiit{\'{e}} de l'{\'{e}}galit{\'{e}} des Languages Alg{\'{e}}briques Infinitaires Simples},
 booktitle    = {{STACS} 86, 3rd Annual Symposium on Theoretical Aspects of Computer Science, Orsay, France, January 16-18, 1986, Proceedings},
 publisher    = {Springer},
 pages        = {37--48},
 doi          = {10.1007/3-540-16078-7\_63},
)
@article(DBLP:journals/iandc/ChristensenHS95,
 author       = {S{\o}ren Christensen and Hans H{\"{u}}ttel and Colin Stirling},
 year         = {1995},
 title        = {Bisimulation Equivalence is Decidable for All Context-Free Processes},
 journal      = {Inf. Comput.},
 volume       = {121},
 number       = {2},
 pages        = {143--148},
 doi          = {10.1006/inco.1995.1129},
)
@inproceedings(DBLP:conf/fmco/CooperLWY06,
 author       = {Ezra Cooper and Sam Lindley and Philip Wadler and Jeremy Yallop},
 year         = {2006},
 title        = {Links: Web Programming Without Tiers},
 booktitle    = {Formal Methods for Components and Objects, 5th International Symposium, {FMCO} 2006, Amsterdam, The Netherlands, November 7-10, 2006, Revised Lectures},
 publisher    = {Springer},
 pages        = {266--296},
 doi          = {10.1007/978-3-540-74792-5\_12},
)
@inproceedings(DBLP:conf/sefm/FrancoV13,
 author       = {Juliana Franco and Vasco Thudichum Vasconcelos},
 year         = {2013},
 title        = {A Concurrent Programming Language with Refined Session Types},
 booktitle    = {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},
 publisher    = {Springer},
 pages        = {15--28},
 doi          = {10.1007/978-3-319-05032-4\_2},
)
@article(DBLP:journals/acta/GayH05,
 author       = {Simon J. Gay and Malcolm Hole},
 year         = {2005},
 title        = {Subtyping for session types in the pi calculus},
 journal      = {Acta Informatic\ae},
 volume       = {42},
 number       = {2-3},
 pages        = {191--225},
 url          = {http://dx.doi.org/10.1007/s00236-005-0177-z},
)
@article(DBLP:journals/jfp/GayV10,
 author       = {Simon J. Gay and Vasco Thudichum Vasconcelos},
 year         = {2010},
 title        = {Linear type theory for asynchronous session types},
 journal      = {J. Funct. Program.},
 volume       = {20},
 number       = {1},
 pages        = {19--50},
 doi          = {10.1017/S0956796809990268},
)
@inproceedings(DBLP:conf/concur/Honda93,
 author       = {Kohei Honda},
 year         = {1993},
 title        = {Types for Dyadic Interaction},
 booktitle    = {CONCUR},
 series       = {LNCS},
 volume       = {715},
 publisher    = {Springer},
 pages        = {509--523},
 doi          = {10.1007/3-540-57208-2\_35},
)
@inproceedings(DBLP:conf/esop/HondaVK98,
 author       = {Kohei Honda and Vasco Thudichum Vasconcelos and Makoto Kubo},
 year         = {1998},
 title        = {Language Primitives and Type Discipline for Structured Communication-Based Programming},
 booktitle    = {ESOP},
 series       = {LNCS},
 volume       = {1381},
 publisher    = {Springer},
 pages        = {122--138},
 doi          = {10.1007/BFb0053567},
)
@inproceedings(janvcar1999techniques,
 author       = {Petr Jancar and Faron Moller},
 year         = {1999},
 title        = {Techniques for Decidability and Undecidability of Bisimilarity},
 booktitle    = {{CONCUR} '99: Concurrency Theory, 10th International Conference, Eindhoven, The Netherlands, August 24-27, 1999, Proceedings},
 publisher    = {Springer},
 pages        = {30--45},
 doi          = {10.1007/3-540-48320-9\_5},
)
@inproceedings(DBLP:conf/esop/LindleyM15,
 author       = {Sam Lindley and J. Garrett Morris},
 year         = {2015},
 title        = {A Semantics for Propositions as Sessions},
 booktitle    = {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},
 publisher    = {Springer},
 pages        = {560--584},
 doi          = {10.1007/978-3-662-46669-8\_23},
)
@inbook(Lindley.Morris_Lightweight.functional.session.types,
 author       = {Sam Lindley and J. Garrett Morris},
 year         = {2017},
 title        = {Behavioural Types: from Theory to Tools},
 chapter      = {Lightweight functional session types},
 publisher    = {River Publishers Series in Automation, Control and Robotics},
)
@inproceedings(DBLP:conf/esop/Padovani17,
 author       = {Luca Padovani},
 year         = {2017},
 title        = {Context-Free Session Type Inference},
 booktitle    = {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},
 publisher    = {Springer},
 pages        = {804--830},
 doi          = {10.1007/978-3-662-54434-1\_30},
)
@inproceedings(DBLP:conf/popl/JonesGF96,
 author       = {{Peyton Jones}, Simon L. and Andrew D. Gordon and Sigbjorn Finne},
 year         = {1996},
 title        = {Concurrent Haskell},
 booktitle    = {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},
 publisher    = {{ACM} Press},
 pages        = {295--308},
 doi          = {10.1145/237721.237794},
)
@misc(Pfenning:C1,
 author       = {Frank Pfenning},
 year         = {2018},
 title        = {Message-Passing Concurrency and Substructural Logics},
 howpublished = {Tutorial at POPL},
)
@article(DBLP:journals/toplas/PierceT00,
 author       = {Benjamin C. Pierce and David N. Turner},
 year         = {2000},
 title        = {Local type inference},
 journal      = {{ACM} Trans. Program. Lang. Syst.},
 volume       = {22},
 number       = {1},
 pages        = {1--44},
 doi          = {10.1145/345099.345100},
)
@inproceedings(DBLP:conf/haskell/PucellaT08,
 author       = {Riccardo Pucella and Jesse A. Tov},
 year         = {2008},
 title        = {Haskell session types with (almost) no class},
 booktitle    = {Proceedings of the 1st {ACM} {SIGPLAN} Symposium on Haskell, Haskell 2008, Victoria, BC, Canada, 25 September 2008},
 publisher    = {{ACM}},
 pages        = {25--36},
 doi          = {10.1145/1411286.1411290},
)
@inproceedings(DBLP:conf/mcmaster/Reppy93,
 author       = {John H. Reppy},
 year         = {1993},
 title        = {Concurrent {ML:} Design, Application and Semantics},
 booktitle    = {Functional Programming, Concurrency, Simulation and Automated Reasoning: International Lecture Series 1991-1992, McMaster University, Hamilton, Ontario, Canada},
 publisher    = {Springer},
 pages        = {165--198},
 doi          = {10.1007/3-540-56883-2\_10},
)
@inproceedings(DBLP:conf/icfp/ThiemannV16,
 author       = {Peter Thiemann and Vasco T. Vasconcelos},
 year         = {2016},
 title        = {Context-free session types},
 booktitle    = {Proceedings of the 21st {ACM} {SIGPLAN} International Conference on Functional Programming, {ICFP} 2016, Nara, Japan, September 18-22, 2016},
 publisher    = {{ACM}},
 pages        = {462--475},
 doi          = {10.1145/2951913.2951926},
)
@phdthesis(Toninho:phd,
 author       = {Bernardo Toninho},
 year         = {2015},
 title        = {A Logical Foundation for Session-based Concurrent Computation},
 school       = {Carnegie Mellon University and Universidade Nova de Lisboa},
)
@inproceedings(DBLP:conf/esop/ToninhoCP13,
 author       = {Bernardo Toninho and Lu{\'{\i}}s Caires and Frank Pfenning},
 year         = {2013},
 title        = {Higher-Order Processes, Functions, and Sessions: {A} Monadic Integration},
 booktitle    = {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},
 publisher    = {Springer},
 pages        = {350--369},
 doi          = {10.1007/978-3-642-37036-6\_20},
)
@article(DBLP:journals/iandc/Vasconcelos12,
 author       = {Vasco T. Vasconcelos},
 year         = {2012},
 title        = {Fundamentals of session types},
 journal      = {Inf. Comput.},
 volume       = {217},
 pages        = {52--70},
 doi          = {10.1016/j.ic.2012.05.002},
)
@inproceedings(DBLP:conf/afp/Wadler95,
 author       = {Philip Wadler},
 year         = {1995},
 title        = {Monads for Functional Programming},
 booktitle    = {Advanced Functional Programming, First International Spring School on Advanced Functional Programming Techniques, B{\r a}stad, Sweden, May 24-30, 1995, Tutorial Text},
 publisher    = {Springer},
 pages        = {24--52},
 doi          = {10.1007/3-540-59451-5\_2},
)