Robert Ennals, Richard Sharp, and Alan Mycroft. Linear Types for Packet Processing. In European Symposium on Programming, volume 2986 of LNCS, pages 204–218, Jan 2004.
 Manuel F¨ahndrich and Robert DeLine. Adoption and focus: Practical linear types for imperative programming. In Proceedings of the 2002 ACM SIGPLAN Conference on Programming Language Design and Implementation, pages 13–24, June 2002.
 Ce´dric Fournet, Tony Hoare, Sriram K. Rajamani, and Jakob Rehof. Stuck-Free Conformance. In LNCS, volume 3114, pages 242–254, Jan 2004.
 Simon Gay, Vasco Vasconcelos, and Anto´nio Ravara. Session Types for Inter-Process Communication. Technical Report TR-2003-133, Department of Computer Science, University of Glasgow, 2003.
 Charles M. Geschke, Jr. James H. Morris, and Edwin H. Satterthwaite. Early Experience with Mesa. Commununications of the ACM, 20(8):540–553, 1977.
 Per Brinch Hansen. The SOLO Operating System: A Concurrent Pascal Program. Software–Practice & Experience, 6(2):324–336, 1976.
 Hermann H¨artig, Michael Hohmuth, Jochen Liedtke, Sebastian Sch¨onberg, and Jean Wolter. The Performance of µ-Kernel-Based Systems. In Proceedings of the 16th ACM Symposium on Operating Systems Principles (SOSP’97), October 1997.
 Kohei Honda, Vasco T. Vasconcelos, and Makoto Kubo. Language Primitives and Type Discipline for Structured Communication-Based Programming. In European Symposium on Programming, ESOP’98, volume 1381 of LNSC, Jan 1998.
 Galen Hunt, James Larus, Martı´n Abadi, Mark Aiken, Paul Barham, Manuel F¨ahndrich, Chris Hawblitzel, Orion Hodson, Steven Levi, Nick Murphy, Bjarne Steensgaard, David Tarditi, Ted Wobber, and Brian Zill. An Overview of the Singularity Project. Technical Report MSR-TR-2005-135, Microsoft Research, 2005.
 Galen C. Hunt, James R. Larus, David Tarditi, and Ted Wobber. Broad New OS Research: Challenges and Opportunities. In Proceedings of Tenth Workshop on Hot Topics in Operating Systems. USENIX, June 2005.
 A. Igarashi and N. Kobayashi. A generic type system for the Pi-calculus. In POPL 01: Principles of Programming Languages, pages 128–141, 2001.
 Trevor Jim, Gregory Morrisett, Dan Grossman, Michael Hicks, James Cheney, and Yanling Wang. Cyclone: A Safe Dialect of C. In Proceedings of the USENIX 2002 Annual Conference, pages 275–288, 2002.
 Geraint Jones and Michael Goldsmith. Programming in occam 2. Web edition, 2001. http://web.comlab.ox.ac.uk/oucl/work/geraint.jones/- publications/book/Pio2/.
 Matthias Neubauer and Peter Thiemann. Session types for asynchronous communication. citeseer.ist.psu.edu/636671.html.
 Vivek S. Pai, Peter Druschel, and Willy Zwaenepoel. IO-Lite: A Unified I/O Buffering and Caching System. ACM Transactions on Computer Systems, 18(1):37–66, February 2000.
 Robert Pike. The Implementation of Newsqueak. Software–Practice & Experience, 20(7):649–659, 1990.
 David D. Redell, Yogen K Dalal, Thomas R. Horsley, Hugh C. Lauer, William C. Lynch, Paul R. McJones, Hal G. Murray, and Stephen C. Purcell. Pilot: An Operating System for a Personal Computer (summary). Communications of the ACM, 23(2):81–92, 1980.
 John H. Reppy. CML: A Higher-Order Concurrent Language. In Proceedings of the ACM SIGPLAN 1991 Conference on Programming Language Design and Implementation, pages 293–305, 1991.
 John C. Reynolds. Separation logic: A logic for shared mutable data structures. In 17th IEEE Symposium on Logic in Computer Science (LICS 2002), pages 55–74, 2002.
 Konstantinos Sagonas and Jesper Wilhelmsson. Message Analysis-Guided Allocation and Low-Pause Incremental Garbage Collection in a Concurrent Language. In Proceedings of the 4th international symposium on Memory management (ISMM’04), pages 1–12, 2004.
 Frederick Smith, David Walker, and J. Gregory Morrisett. Alias Types. In Proceedings of the 9th European Symposium on Programming Languages and Systems, volume 1782 of LNCS, pages 366–381, 2000.
 Daniel C. Swinehart, Pollef T. Zellweger, Richard J. Beach, and Robert B. Hagmann. A Structural View of the Cedar Programming Environment. ACM Transactions on Programming Languages and Systems, 8(4):419–490, 1986.
 M. Tofte and J.-P. Talpin. Implementation of the typed call-by-value λ-calculus using a stack of regions. In Conference Record of the 21st Annual ACM SSymposium on Principles of Programming Languages, pages 188–201, January 1994.
 Tian Zhao, James Noble, and Jan Vitek. Scoped Types for Real-time Java. In 25th IEEE International Real-Time Systems Symposium (RTSS’04), pages 241–251, 2004.