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.