Henry C. Baker, Jr. & Carl Hewitt (1977):
The Incremental Garbage Collection of Processes.
In: Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages.
ACM,
New York, NY, USA,
pp. 55–59,
doi:10.1145/800228.806932.
Stephanie Balzer & Frank Pfenning (2015):
Objects As Session-typed Processes.
In: Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control,
AGERE! 2015.
ACM,
New York, NY, USA,
pp. 13–24,
doi:10.1145/2824815.2824817.
Luís Caires & Frank Pfenning (2010):
Session Types as Intuitionistic Linear Propositions.
In: Proceedings of the 21st International Conference on Concurrency Theory (CONCUR 2010).
Springer LNCS 6269,
Paris, France,
pp. 222–236,
doi:10.1007/978-3-642-15375-4_16.
Luís Caires, Frank Pfenning & Bernardo Toninho (2016):
Linear logic propositions as session types.
Mathematical Structures in Computer Science 26,
pp. 367–423,
doi:10.1017/S0960129514000218.
Iliano Cervesato & Andre Scedrov (2009):
Relating state-based and process-based concurrency through linear logic (full-version).
Information and Computation 207(10),
pp. 1044 – 1077,
doi:10.1016/j.ic.2008.11.006.
Special issue: 13th Workshop on Logic, Language, Information and Computation (WoLLIC 2006).
Thomas H. Cormen, Clifford Stein, Ronald L. Rivest & Charles E. Leiserson (2001):
Introduction to Algorithms,
2nd edition, chapter 27.
McGraw-Hill Higher Education.
Daniel P. Friedman, David & S. Wise (1978):
Aspects of applicative programming for parallel processing.
IEEE Transactions on Computers,
pp. 289–296,
doi:10.1109/TC.1978.1675100.
Nicolas Guenot (2014):
Session Types, Solos, and the Computational Contents of the Sequent Calculus.
Talk at the Types Meeting.
Kohei Honda (1993):
Types for Dyadic Interaction.
In: 4th International Conference on Concurrency Theory,
CONCUR'93.
Springer LNCS 715,
pp. 509–523,
doi:10.1007/3-540-57208-2_35.
Kohei. Honda, Vasco T. Vasconcelos & Makoto Kubo (1998):
Language Primitives and Type Discipline for Structured Communication-Based Programming.
In: 7th European Symposium on Programming Languages and Systems,
ESOP'98.
Springer LNCS 1381,
pp. 122–138,
doi:10.1007/BFb0053567.
Cosimo Laneve & Björn Victor (2003):
Solos in Concert.
Mathematical Structures in Computer Science 13(5),
pp. 657–683,
doi:10.1017/S0960129503004055.
F. Pfenning & R. J. Simmons (2009):
Substructural Operational Semantics as Ordered Logic Programming.
In: Logic In Computer Science, 2009. LICS '09. 24th Annual IEEE Symposium on,
pp. 101–110,
doi:10.1109/LICS.2009.8.
Frank Pfenning & Dennis Griffith (2015):
Polarized Substructural Session Types.
In: A. Pitts: Proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015).
Springer LNCS 9034,
London, England,
pp. 3–22,
doi:10.1007/978-3-662-46678-0_1.
Bernardo Toninho, Luís Caires & Frank Pfenning (2012):
Functions as Session-Typed Processes.
In: L. Birkedal: 15th International Conference on Foundations of Software Science and Computation Structures,
FoSSaCS'12.
Springer LNCS,
Tallinn, Estonia,
pp. 346–360,
doi:10.1007/978-3-642-28729-9_23.
Bernardo Toninho, Luis Caires & Frank Pfenning (2013):
Higher-Order Processes, Functions, and Sessions: A Monadic Integration.
In: Proceedings of the 22Nd European Conference on Programming Languages and Systems,
ESOP'13.
Springer-Verlag,
Berlin, Heidelberg,
pp. 350–369,
doi:10.1007/978-3-642-37036-6_20.
Philip Wadler (2015):
Propositions As Types.
Commun. ACM 58(12),
pp. 75–84,
doi:10.1145/2699407.
eptcs@eptcs.org