Documents Related by Co-Citation

137 types can change the world – Linear - 1990
374 Enforcing High-Level Protocols in Low-Level Software – Robert DeLine, Manuel Fahndrich - 2001
208 Typed Memory Management in a Calculus of Capabilities – David Walker, Karl Crary, Greg Morrisett - 2000
168 Adoption and Focus: Practical Linear Types for Imperative Programming – Manuel Fähndrich , Robert DeLine - 2002
579 Parametric Shape Analysis via 3-Valued Logic – Mooly Sagiv, Thomas Reps, Reinhard Wilhelm - 1999
87 Once Upon a Type – David Turner, Philip Wadler, Christian Mossin - 1995
1165 Proof-Carrying Code – George C. Necula - 1997
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
576 A Syntactic Approach to Type Soundness – Andrew K. Wright, Matthias Felleisen - 1992