<h1>Yu, Xin</h1>
<h2>Monograph from <a href="https://data.caltech.edu">CaltechTHESIS</a></h2>
<ul>
<li>Yu, Xin (2007) <a href="https://resolver.caltech.edu/CaltechETD:etd-05222007-211909">Reflection and Its Application to Mechanized MetaReasoning About Programming Languages</a>; <a href="https://doi.org/10.7907/S0HG-RT72">10.7907/S0HG-RT72</a></li>
</ul>