Lorenzo Bettini, Mario Coppo, Loris D'Antoni, Marco De Luca, Mariangiola Dezani-Ciancaglini & Nobuko Yoshida (2008):
Global Progress in Dynamically Interleaved Multiparty Sessions.
In: CONCUR'08,
LNCS 5201.
Springer,
pp. 418–433,
doi:10.1007/978-3-540-85361-9_33.
Luca Cardelli, Simone Martini, John C. Mitchell & Andre Scedrov (1994):
An Extension of System F with Subtyping.
Information and Computation 109(1/2),
pp. 4–56,
doi:10.1006/inco.1994.1013.
Giuseppe Castagna, Mariangiola Dezani-Ciancaglini, Elena Giachino & Luca Padovani (2009):
Foundations of Session Types.
In: PPDP'09.
ACM,
pp. 219–230,
doi:10.1145/1599410.1599437.
Dario Colazzo & Giorgio Ghelli (2005):
Subtyping, recursion, and parametric polymorphism in kernel Fun.
Information and Computation 198(2),
pp. 71–147,
doi:10.1016/j.ic.2004.11.003.
Mariangiola Dezani-Ciancaglini, Sophia Drossopoulou, Elena Giachino & Nobuko Yoshida (2007):
Bounded Session Types for Object-Oriented Languages.
In: FMCO'06,
LNCS 4709.
Springer,
pp. 207–245,
doi:10.1007/978-3-540-74792-5_10.
Manuel Fähndrich, Mark Aiken, Chris Hawblitzel, Orion Hodson, Galen Hunt, James R. Larus & Steven Levi (2006):
Language support for fast and reliable message-based communication in Singularity OS.
In: EuroSys'06.
ACM,
pp. 177–190,
doi:10.1145/1217935.1217953.
Simon Gay (2008):
Bounded polymorphism in session types.
Mathematical Structures in Computer Science 18(5),
pp. 895–930,
doi:10.1017/S0960129508006944.
Simon Gay & Vasco T. Vasconcelos (2010):
Linear type theory for asynchronous session types.
Journal of Functional Programming 20(01),
pp. 19–50,
doi:10.1017/S0956796809990268.
Kohei Honda (1993):
Types for dyadic interaction.
In: CONCUR'93,
LNCS 715.
Springer,
pp. 509–523,
doi:10.1007/3-540-57208-2_35.
Kohei Honda, Vasco T. Vasconcelos & Makoto Kubo (1998):
Language primitives and type disciplines for structured communication-based programming.
In: ESOP'98,
LNCS 1381.
Springer,
pp. 122–138,
doi:10.1007/BFb0053567.
Galen Hunt, James Larus, Martín Abadi, Mark Aiken, Paul Barham, Manuel Fähndrich, Chris Hawblitzel, Orion Hodson, Steven Levi, Nick Murphy, Bjarne Steensgaard, David Tarditi, Ted Wobber & Brian Zill (2005):
An Overview of the Singularity Project.
Technical Report MSR-TR-2005-135.
Microsoft Research.
Microsoft (2004):
Singularity design note 5: Channel contracts.
Technical Report.
Microsoft Research.
Available at http://www.codeplex.com/singularity..
Peter W. O'Hearn, John C. Reynolds & Hongseok Yang (2001):
Local Reasoning about Programs that Alter Data Structures.
In: CSL'01,
LNCS 2142.
Springer,
pp. 1–19,
doi:10.1007/3-540-44802-0_1.