Reports for Author "Chen, Juan"
-
TR-635-01 -
Dictionary Passing for Polytypic Polymorphism
(2001-03-00)
Chen, Juan / Appel, Andrew W. -
TR-704-04 -
A Low-Level Typed Assembly Language with a Machine-Checkable Soundness Proof (Thesis)
(2004-02-00)
Chen, Juan