Lightweight linear types in system fdegree.

[1]  Philip Wadler,et al.  Operational Interpretations of Linear Logic , 1999, Theor. Comput. Sci..

[2]  P. Lincoln,et al.  Operational aspects of linear lambda calculus , 1992, [1992] Proceedings of the Seventh Annual IEEE Symposium on Logic in Computer Science.

[3]  António Ravara,et al.  Type checking a multithreaded functional language with session types , 2006, Theor. Comput. Sci..

[4]  Marinus J. Plasmeijer,et al.  Uniqueness Typing Simplified , 2008, IFL.

[5]  Gavin M. Bierman,et al.  Program equivalence in a linear functional language , 2000, Journal of Functional Programming.

[6]  John C. Reynolds,et al.  Towards a theory of type structure , 1974, Symposium on Programming.

[7]  Robert DeLine,et al.  Enforcing high-level protocols in low-level software , 2001, PLDI '01.

[8]  Jean-Yves Girard,et al.  Linear Logic , 1987, Theor. Comput. Sci..

[9]  Nick Benton,et al.  A Mixed Linear and Non-Linear Logic: Proofs, Terms and Models (Extended Abstract) , 1994, CSL.

[10]  Robert DeLine,et al.  Adoption and focus: practical linear types for imperative programming , 2002, PLDI '02.

[11]  Simon L. Peyton Jones,et al.  Once upon a polymorphic type , 1999, POPL '99.

[12]  Hongwei Xi,et al.  Safe Programming with Pointers Through Stateful Views , 2005, PADL.

[13]  Vasco Thudichum Vasconcelos,et al.  Language Primitives and Type Discipline for Structured Communication-Based Programming Revisited: Two Systems for Higher-Order Session Communication , 1998, SecReT@ICALP.

[14]  Matthias Felleisen,et al.  A Syntactic Approach to Type Soundness , 1994, Inf. Comput..

[15]  J. Gregory Morrisett,et al.  L3: A Linear Language with Locations , 2007, Fundam. Informaticae.

[16]  J. Girard,et al.  Proofs and types , 1989 .

[17]  Arthur Charguéraud,et al.  Functional translation of a calculus of capabilities , 2008, ICFP 2008.

[18]  Philip Wadler,et al.  Linear Types can Change the World! , 1990, Programming Concepts and Methods.

[19]  Andrew G. Barber,et al.  Linear type theories, semantics and action calculi , 1997 .

[20]  Dan Grossman,et al.  Experience with safe manual memory-management in cyclone , 2004, ISMM '04.

[21]  Rasmus Ejlers Møgelberg,et al.  Category-theoretic models of Linear Abadi & Plotkin Logic , 2008 .

[22]  Philip Wadler,et al.  A Taste of Linear Logic , 1993, MFCS.

[23]  James R. Larus,et al.  Language support for fast and reliable message-based communication in singularity OS , 2006, EuroSys.

[24]  Claudio V. Russo,et al.  Operational Properties of Lily, a Polymorphic Linear Lambda Calculus with Recursion , 2001, HOOTS.

[25]  Yves Lafont.  The Linear Abstract Machine (Corrigenda) , 1988, Theor. Comput. Sci..

[26]  David Walker,et al.  A type system for expressive security policies , 2000, POPL '00.

[27]  John C. Reynolds,et al.  Types, Abstraction and Parametric Polymorphism , 1983, IFIP Congress.

[28]  Naoki Kobayashi,et al.  Resource usage analysis , 2005 .

[29]  David Walker,et al.  Typed memory management in a calculus of capabilities , 1999, POPL '99.

[30]  Chung-chieh Shan,et al.  Lightweight monadic regions , 2008, Haskell '08.