Proofs for SST

|

|

Microsoft Research Home

About Microsoft Research

University Relations

Conferences and Events

Visiting Microsoft Research

Press Resources

Proof of stack lemmas

Proof of lemmas related to soundness

Decidability of type checking

Type-preserving translation

©2008 Microsoft Corporation. All rights reserved. Terms of Use |Trademarks |Privacy Statement