@inproceedings(BCDDDY08,
 author       = "Lorenzo Bettini and Mario Coppo and Loris D'Antoni and Marco De Luca and Mariangiola Dezani-Ciancaglini and Nobuko Yoshida",
 year         = "2008",
 title        = "{Global Progress in Dynamically Interleaved Multiparty Sessions}",
 booktitle    = "CONCUR'08",
 series       = "LNCS 5201",
 publisher    = "Springer",
 pages        = "418--433",
 doi          = "10.1007/978-3-540-85361-9\_33",
)
@inproceedings(BonoMessaPadovani11,
 author       = "Viviana Bono and Chiara Messa and Luca Padovani",
 year         = "2011",
 title        = "{T}yping {C}opyless {M}essage {P}assing",
 booktitle    = "ESOP'11",
 series       = "LNCS 6602",
 publisher    = "Springer",
 pages        = "57--76",
 doi          = "10.1007/978-3-642-19718-5\_4",
)
@article(CardelliMartiniMitchellScedrov94,
 author       = "Luca Cardelli and Simone Martini and John C. Mitchell and Andre Scedrov",
 year         = "1994",
 title        = "An Extension of System {F} with Subtyping",
 journal      = "Information and Computation",
 volume       = "109",
 number       = "1/2",
 pages        = "4--56",
 doi          = "10.1006/inco.1994.1013",
)
@inproceedings(CastagnaDezaniGiachinoPadovani09,
 author       = "Giuseppe Castagna and Mariangiola Dezani-Ciancaglini and Elena Giachino and Luca Padovani",
 year         = "2009",
 title        = "Foundations of Session Types",
 booktitle    = "PPDP'09",
 publisher    = "ACM",
 pages        = "219--230",
 doi          = "10.1145/1599410.1599437",
)
@article(ColazzoGhelli05,
 author       = "Dario Colazzo and Giorgio Ghelli",
 year         = "2005",
 title        = "Subtyping, recursion, and parametric polymorphism in kernel {F}un",
 journal      = "Information and Computation",
 volume       = "198",
 number       = "2",
 pages        = "71--147",
 doi          = "10.1016/j.ic.2004.11.003",
)
@inproceedings(DDGY07,
 author       = "Mariangiola Dezani-Ciancaglini and Sophia Drossopoulou and Elena Giachino and Nobuko Yoshida",
 year         = "2007",
 title        = "{Bounded Session Types for Object-Oriented Languages}",
 booktitle    = "FMCO'06",
 series       = "LNCS 4709",
 publisher    = "Springer",
 pages        = "207--245",
 doi          = "10.1007/978-3-540-74792-5\_10",
)
@inproceedings(Fahndrich06,
 author       = "Manuel F\"{a}hndrich and Mark Aiken and Chris Hawblitzel and Orion Hodson and Galen Hunt and James R. Larus and Steven Levi",
 year         = "2006",
 title        = "Language support for fast and reliable message-based communication in {S}ingularity {OS}",
 booktitle    = "EuroSys'06",
 publisher    = "ACM",
 pages        = "177--190",
 doi          = "10.1145/1217935.1217953",
)
@article(Gay08,
 author       = "Simon Gay",
 year         = "2008",
 title        = "Bounded polymorphism in session types",
 journal      = "Mathematical Structures in Computer Science",
 volume       = "18",
 number       = "5",
 pages        = "895--930",
 doi          = "10.1017/S0960129508006944",
)
@article(GayVasconcelos10,
 author       = "Simon Gay and Vasco T. Vasconcelos",
 year         = "2010",
 title        = "Linear type theory for asynchronous session types",
 journal      = "Journal of Functional Programming",
 volume       = "20",
 number       = "01",
 pages        = "19--50",
 doi          = "10.1017/S0956796809990268",
)
@inproceedings(Honda93,
 author       = "Kohei Honda",
 year         = "1993",
 title        = "Types for dyadic interaction",
 booktitle    = "CONCUR'93",
 series       = "LNCS 715",
 publisher    = "Springer",
 pages        = "509--523",
 doi          = "10.1007/3-540-57208-2\_35",
)
@inproceedings(HondaVasconcelosKubo98,
 author       = "Kohei Honda and Vasco T. Vasconcelos and Makoto Kubo",
 year         = "1998",
 title        = "Language primitives and type disciplines for structured communication-based programming",
 booktitle    = "ESOP'98",
 series       = "LNCS 1381",
 publisher    = "Springer",
 pages        = "122--138",
 doi          = "10.1007/BFb0053567",
)
@techreport(SingularityOverview05,
 author       = "Galen Hunt and James Larus and Mart\'in Abadi and Mark Aiken and Paul Barham and Manuel F\"ahndrich and Chris Hawblitzel and Orion Hodson and Steven Levi and Nick Murphy and Bjarne Steensgaard and David Tarditi and Ted Wobber and Brian Zill",
 year         = "2005",
 title        = "An Overview of the Singularity Project",
 type         = "Technical Report",
 number       = "MSR-TR-2005-135",
 institution  = "Microsoft Research",
)
@techreport(SDN5,
 author       = "Microsoft",
 year         = "2004",
 title        = "Singularity design note 5: Channel contracts",
 type         = "Technical Report",
 institution  = "Microsoft Research",
 note         = "Available at \burl {http://www.codeplex.com/singularity}.",
)
@inproceedings(OHearnReynoldsYang01,
 author       = "Peter W. O'Hearn and John C. Reynolds and Hongseok Yang",
 year         = "2001",
 title        = "Local Reasoning about Programs that Alter Data Structures",
 booktitle    = "CSL'01",
 series       = "LNCS 2142",
 publisher    = "Springer",
 pages        = "1--19",
 doi          = "10.1007/3-540-44802-0\_1",
)
@inproceedings(StengelBultan09,
 author       = "Zachary Stengel and Tevfik Bultan",
 year         = "2009",
 title        = "Analyzing singularity channel contracts",
 booktitle    = "ISSTA'09",
 publisher    = "ACM",
 pages        = "13--24",
 doi          = "10.1145/1572272.1572275",
)
@phdthesis(Villard11,
 author       = "Jules Villard",
 year         = "2011",
 title        = "Heaps and Hops",
 school       = "Laboratoire Sp\'ecification et V\'erification, ENS Cachan, France",
)
@inproceedings(VillardLozesCalcagno09,
 author       = "Jules Villard and \'{E}tienne Lozes and Cristiano Calcagno",
 year         = "2009",
 title        = "Proving Copyless Message Passing",
 booktitle    = "APLAS'09",
 series       = "LNCS 5904",
 publisher    = "Springer",
 pages        = "194--209",
 doi          = "10.1007/978-3-642-10672-9\_15",
)
@inproceedings(VillardLozesCalcagno10,
 author       = "Jules Villard and \'{E}tienne Lozes and Cristiano Calcagno",
 year         = "2010",
 title        = "Tracking Heaps That Hop with Heap-Hop",
 booktitle    = "TACAS'10",
 series       = "LNCS 6015",
 publisher    = "Springer",
 pages        = "275--279",
 doi          = "10.1007/978-3-642-12002-2\_23",
)