Martin Berger, Kohei Honda & Nobuko Yoshida (2001):
Sequentiality and the π-calculus.
In: International Conference on Typed Lambda Calculi and Applications.
Springer,
pp. 29–45,
doi:10.1007/3-540-45413-6_7.
Jean-Philippe Bernardy, Mathieu Boespflug, Ryan R. Newton, Simon Peyton Jones & Arnaud Spiwack (2017):
Linear Haskell: Practical Linearity in a Higher-Order Polymorphic Language.
Proc. ACM Program. Lang. 2(POPL),
doi:10.1145/3158093.
Aloïs Brunel, Marco Gaboardi, Damiano Mazza & Steve Zdancewic (2014):
A Core Quantitative Coeffect Calculus.
In: Proceedings of the 23rd European Symposium on Programming Languages and Systems - Volume 8410.
Springer-Verlag,
Berlin, Heidelberg,
pp. 351370,
doi:10.1007/978-3-642-54833-8_19.
Luís Caires & Frank Pfenning (2010):
Session Types as Intuitionistic Linear Propositions.
In: Proceedings of the 21st International Conference on Concurrency Theory,
CONCUR'10.
Springer-Verlag,
Berlin, Heidelberg,
pp. 222236,
doi:10.1007/978-3-642-15375-4_16.
Marco Gaboardi, Shin-ya Katsumata, Dominic Orchard, Flavien Breuvart & Tarmo Uustalu (2016):
Combining Effects and Coeffects via Grading.
In: Proceedings of the 21st ACM SIGPLAN International Conference on Functional Programming,
ICFP 2016.
Association for Computing Machinery,
New York, NY, USA,
pp. 476489,
doi:10.1145/2951913.2951939.
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.
Dan R. Ghica & Alex I. Smith (2014):
Bounded Linear Types in a Resource Semiring.
In: Proceedings of the 23rd European Symposium on Programming Languages and Systems - Volume 8410.
Springer-Verlag,
Berlin, Heidelberg,
pp. 331350,
doi:10.1007/978-3-642-54833-8_18.
Jean-Yves Girard, Andre Scedrov & Philip J Scott (1992):
Bounded linear logic: a modular approach to polynomial-time computability.
Theoretical Computer Science 97(1),
pp. 1–66,
doi:10.1007/978-1-4612-3466-1_11.
Kohei Honda (1993):
Types for dyadic interaction.
In: Eike Best: CONCUR'93.
Springer Berlin Heidelberg,
Berlin, Heidelberg,
pp. 509–523,
doi:10.1007/3-540-57208-2_35.
Wen Kokke & Ornela Dardha (2021):
Deadlock-Free Session Types in Linear Haskell.
In: Proceedings of the 14th ACM SIGPLAN International Symposium on Haskell,
Haskell 2021.
Association for Computing Machinery,
New York, NY, USA,
pp. 113,
doi:10.1145/3471874.3472979.
Sam Lindley & J Garrett Morris (2015):
A semantics for propositions as sessions.
In: European Symposium on Programming Languages and Systems.
Springer,
pp. 560–584,
doi:10.1007/978-3-662-46669-8_23.
Daniel Marshall & Dominic Orchard (2022):
How to Take the Inverse of a Type.
To appear in ECOOP 2022..
Daniel Marshall, Michael Vollmer & Dominic Orchard (2022):
Linearity and Uniqueness: An Entente Cordiale.
To appear in ESOP 2022..
Benjamin Moon, Harley Eades III & Dominic Orchard (2021):
Graded Modal Dependent Type Theory.
In: Nobuko Yoshida: Programming Languages and Systems - 30th European Symposium on Programming, ESOP 2021, Held as Part of the European Joint Conferences on Theory and Practice of Software, ETAPS 2021, Luxembourg City, Luxembourg, March 27 - April 1, 2021, Proceedings,
Lecture Notes in Computer Science 12648.
Springer,
pp. 462–490,
doi:10.1007/978-3-030-72019-3_17.
Dominic Orchard, Vilem-Benjamin Liepelt & Harley Eades III (2019):
Quantitative program reasoning with graded modal types.
Proceedings of the ACM on Programming Languages 3(ICFP),
pp. 1–30,
doi:10.1145/3341714.
Tomas Petricek, Dominic Orchard & Alan Mycroft (2014):
Coeffects: A Calculus of Context-Dependent Computation.
In: Proceedings of the 19th ACM SIGPLAN International Conference on Functional Programming,
ICFP '14.
Association for Computing Machinery,
New York, NY, USA,
pp. 123135,
doi:10.1145/2628136.2628160.
Klaas Pruiksma & Frank Pfenning (2019):
A Message-Passing Interpretation of Adjoint Logic.
Electronic Proceedings in Theoretical Computer Science 291,
pp. 6079,
doi:10.4204/eptcs.291.6.
Davide Sangiorgi & David Walker (2003):
The π-calculus: a Theory of Mobile Processes.
Cambridge University Press.
Bernardo Toninho, Luís Caires & Frank Pfenning (2021):
A Decade of Dependent Session Types.
In: Niccolò Veltri, Nick Benton & Silvia Ghilezan: PPDP 2021: 23rd International Symposium on Principles and Practice of Declarative Programming, Tallinn, Estonia, September 6-8, 2021.
ACM,
pp. 3:1–3:3,
doi:10.1145/3479394.3479398.
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.
Philip Wadler (1990):
Linear Types Can Change the World!.
In: Manfred Broy & Cliff B. Jones: Programming Concepts and Methods: Proceedings of the IFIP Working Group 2.2/2.3 Working Conference on Programming Concepts and Methods, Sea of Galilee, Israel, 2–5 April, 1990.
North-Holland,
Amsterdam,
pp. 561–581.
Available at https://homepages.inf.ed.ac.uk/wadler/topics/linear-logic.html#linear-types.
Philip Wadler (2014):
Propositions as sessions.
Journal of Functional Programming 24(2-3),
pp. 384–418,
doi:10.1017/S095679681400001X.
David Walker (2005):
Substructural Type Systems.
Advanced Topics in Types and Programming Languages,
pp. 3–44.
Nobuko Yoshida & Vasco T Vasconcelos (2007):
Language primitives and type discipline for structured communication-based programming revisited: Two systems for higher-order session communication.
Electronic Notes in Theoretical Computer Science 171(4),
pp. 73–93,
doi:10.1016/j.entcs.2007.02.056.
Uma Zalakain & Ornela Dardha (2021):
π with Leftovers: A Mechanisation in Agda.
In: Kirstin Peters & Tim A. C. Willemse: Formal Techniques for Distributed Objects, Components, and Systems.
Springer International Publishing,
Cham,
pp. 157–174,
doi:10.1007/978-3-030-78089-0_9.