Active Bibliography

24 Reasoning about Hierarchical Storage – Amal Ahmed , Limin Jia, David Walker - 2003
unknown title – unknown authors
65 An Effective Theory of Type Refinements – Yitzhak Mandelbaum, David Walker, Robert Harper - 2002
16 Low-Level Linear Memory Management – Chris Hawblitzel, Edward Wei, Heng Huang, Eric Krupski, Lea Wittie - 2004
5 Linear Logic and Imperative Programming – Limin Jia - 2008
High-Assurance Common Language Runtime – Andrew Appel, David Walker, Zhong Shao, Valery Trifonov - 2002
178 Alias Types – Frederick Smith, David Walker, Greg Morrisett - 1999
15 ILC: A Foundation for Automated Reasoning About Pointer Programs – Limin Jia, David Walker - 2005
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998