Now showing items 6-7 of 7

    • Type-Theoretic Methodology for Practical Programming Languages 

      Crary, Karl (Cornell University, 1998-08)
      The significance of type theory to the theory of programming languages has long been recognized. Advances in programming languages have often derived from understanding that stems from type theory. However, these ...
    • Typed Memory Management in a Calculus of Capabilities 

      Walker, David; Crary, Karl; Morrisett, Greg (Cornell University, 2000-02-02)
      Region-based memory management is an alternative to standard tracing garbage collection that makes potentially dangerous operations such as memory deallocation explicit but verifiably safe. In this article, we present a ...