Lorenzo Bettini
Mario Coppo
Loris D'Antoni
Marco De Luca
Mariangiola Dezani-Ciancaglini
Nobuko Yoshida
2008
Global Progress in Dynamically Interleaved Multiparty Sessions
CONCUR'08
LNCS 5201
Springer
418–433
10.1007/978-3-540-85361-9_33
Viviana Bono
Chiara Messa
Luca Padovani
2011
Typing Copyless Message Passing
ESOP'11
LNCS 6602
Springer
57–76
10.1007/978-3-642-19718-5_4
Luca Cardelli
Simone Martini
John C. Mitchell
Andre Scedrov
1994
An Extension of System F with Subtyping
Information and Computation
109
1/2
4–56
10.1006/inco.1994.1013
Giuseppe Castagna
Mariangiola Dezani-Ciancaglini
Elena Giachino
Luca Padovani
2009
Foundations of Session Types
PPDP'09
ACM
219–230
10.1145/1599410.1599437
Dario Colazzo
Giorgio Ghelli
2005
Subtyping, recursion, and parametric polymorphism in kernel Fun
Information and Computation
198
2
71–147
10.1016/j.ic.2004.11.003
Mariangiola Dezani-Ciancaglini
Sophia Drossopoulou
Elena Giachino
Nobuko Yoshida
2007
Bounded Session Types for Object-Oriented Languages
FMCO'06
LNCS 4709
Springer
207–245
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
EuroSys'06
ACM
177–190
10.1145/1217935.1217953
Simon Gay
2008
Bounded polymorphism in session types
Mathematical Structures in Computer Science
18
5
895–930
10.1017/S0960129508006944
Simon Gay
Vasco T. Vasconcelos
2010
Linear type theory for asynchronous session types
Journal of Functional Programming
20
01
19–50
10.1017/S0956796809990268
Kohei Honda
1993
Types for dyadic interaction
CONCUR'93
LNCS 715
Springer
509–523
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
ESOP'98
LNCS 1381
Springer
122–138
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
CSL'01
LNCS 2142
Springer
1–19
10.1007/3-540-44802-0_1
Zachary Stengel
Tevfik Bultan
2009
Analyzing singularity channel contracts
ISSTA'09
ACM
13–24
10.1145/1572272.1572275
Jules Villard
2011
Heaps and Hops
Laboratoire Spécification et Vérification, ENS Cachan, France
Jules Villard
Étienne Lozes
Cristiano Calcagno
2009
Proving Copyless Message Passing
APLAS'09
LNCS 5904
Springer
194–209
10.1007/978-3-642-10672-9_15
Jules Villard
Étienne Lozes
Cristiano Calcagno
2010
Tracking Heaps That Hop with Heap-Hop
TACAS'10
LNCS 6015
Springer
275–279
10.1007/978-3-642-12002-2_23