Henry C. Baker, Jr.
Carl Hewitt
1977
The Incremental Garbage Collection of Processes
Proceedings of the 1977 Symposium on Artificial Intelligence and Programming Languages
ACM
New York, NY, USA
55–59
10.1145/800228.806932
Stephanie Balzer
Frank Pfenning
2015
Objects As Session-typed Processes
Proceedings of the 5th International Workshop on Programming Based on Actors, Agents, and Decentralized Control
AGERE! 2015
ACM
New York, NY, USA
13–24
10.1145/2824815.2824817
Luís Caires
Frank Pfenning
2010
Session Types as Intuitionistic Linear Propositions
Proceedings of the 21st International Conference on Concurrency Theory (CONCUR 2010)
Springer LNCS 6269
Paris, France
222–236
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
367–423
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
1044 – 1077
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
27
McGraw-Hill Higher Education
Daniel P. Friedman
David
S. Wise
1978
Aspects of applicative programming for parallel processing
IEEE Transactions on Computers
289–296
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
4th International Conference on Concurrency Theory
CONCUR'93
Springer LNCS 715
509–523
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
7th European Symposium on Programming Languages and Systems
ESOP'98
Springer LNCS 1381
122–138
10.1007/BFb0053567
Cosimo Laneve
Björn Victor
2003
Solos in Concert
Mathematical Structures in Computer Science
13
5
657–683
10.1017/S0960129503004055
F. Pfenning
R. J. Simmons
2009
Substructural Operational Semantics as Ordered Logic Programming
Logic In Computer Science, 2009. LICS '09. 24th Annual IEEE Symposium on
101–110
10.1109/LICS.2009.8
Frank Pfenning
Rob Arnold
2010
C0 Language
http://c0.typesafety.net
Frank Pfenning
Dennis Griffith
2015
Polarized Substructural Session Types
A. Pitts
Proceedings of the 18th International Conference on Foundations of Software Science and Computation Structures (FoSSaCS 2015)
Springer LNCS 9034
London, England
3–22
10.1007/978-3-662-46678-0_1
Bernardo Toninho
Luís Caires
Frank Pfenning
2012
Functions as Session-Typed Processes
L. Birkedal
15th International Conference on Foundations of Software Science and Computation Structures
FoSSaCS'12
Springer LNCS
Tallinn, Estonia
346–360
10.1007/978-3-642-28729-9_23
Bernardo Toninho
Luis Caires
Frank Pfenning
2013
Higher-Order Processes, Functions, and Sessions: A Monadic Integration
Proceedings of the 22Nd European Conference on Programming Languages and Systems
ESOP'13
Springer-Verlag
Berlin, Heidelberg
350–369
10.1007/978-3-642-37036-6_20
Philip Wadler
2015
Propositions As Types
Commun. ACM
58
12
75–84
10.1145/2699407
Max Willsey
Rokhini Prabhu
Frank Pfenning
2016
Design and Implementation of Concurrent C0
https://www.cs.cmu.edu/~fp/papers/cc016.pdf