Reports for Author "Tan, Gang"

TR-695-04 - Dynamic Typing with Dependent Types (2004-04-00)
Ou, Xinming / Walker, David / Mandelbaum, Yitzhak / Tan, Gang
TR-715-04 - Safe Heterogeneous Applications: Curing the Java Native Interface (2004-10-00)
Chakradhar, Srimat / Raghunathan, Anand / Ravi, Srivaths / Wang, Daniel C. / Appel, Andrew W. / Tan, Gang
TR-731-05 - A Compositional Logic for Control Flow and its Application in Foundational Proof-Carrying Code (2005-08-00)
Tan, Gang