Documents Related by Co-Citation

127 types can change the world – Linear - 1990
81 Once Upon a Type – David Turner, Philip Wadler, Christian Mossin - 1995
155 Adoption and Focus: Practical Linear Types for Imperative Programming – Manuel Fähndrich , Robert DeLine - 2002
362 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
196 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
168 Alias Types – Frederick Smith, David Walker, Greg Morrisett - 1999
137 Alias Types for Recursive Data Structures – David Walker, Greg Morrisett - 2000
283 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
211 Flexible Alias Protection – James Noble , Jan Vitek, John Potter - 1998
125 Balloon Types: Controlling Sharing of State in Data Types – Paulo Sérgio Almeida - 1997
195 Islands: aliasing protection in object-oriented languages. 6th OOPSLA – J Hogg - 1991
35 Another Type System for in-Place Update – David Aspinall, Martin Hofmann - 2002
84 A Type System for Bounded Space and Functional in-Place Update – Martin Hofmann - 2000
162 as an assertion language for mutable data structures – BI - 2001
172 Region-Based Memory Management in Cyclone – Dan Grossman , Greg Morrisett, Trevor Jim, Michael Hicks, Yanling Wang, James Cheney - 2002
38 Once Upon a Polymorphic Type – Keith Wansbrough, Simon Peyton Jones - 1998
116 Resource Bound Certification – Karl Crary, Stephanie Weirich - 2000
145 A Linearly Typed Assembly Language – James Cheney, Greg Morrisett
305 Ownership Types for Safe Programming: Preventing Data Races and Deadlocks – Chandrasekhar Boyapati, Robert Lee, Martin Rinard - 2002