<h1>Yu, Xin</h1>
<h2>Book Chapter from <a href="https://authors.library.caltech.edu">CaltechAUTHORS</a></h2>
<ul>
<li>Yu, Xin and Arbabi, Ehsan, el al. (2015) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20160325-101609970">Demonstration of the first monolithically integrated self-rolled-up tube based vertical photonic coupler</a>; ISBN 978-1-55752-968-8; 2015 Conference on Lasers and Electro-Optics (CLEO); Art. No. SF1H.8</li>
<li>Hickey, Jason and Nogin, Aleksey, el al. (2006) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20161103-125653823">Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection</a>; ISBN 1-59593-309-3; ICFP '06 Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming; 172-183; <a href="https://doi.org/10.1145/1159803.1159826">10.1145/1159803.1159826</a></li>
<li>Nogin, Aleksey and Kopylov, Alexei, el al. (2005) <a href="https://resolver.caltech.edu/CaltechAUTHORS:20161206-173331536">A computational approach to reflective meta-reasoning about languages with bindings</a>; ISBN 1-59593-072-8; MERLIN '05 Proceedings of the 3rd ACM SIGPLAN workshop on Mechanized reasoning about languages with variable binding; 2-12; <a href="https://doi.org/10.1145/1088454.1088456">10.1145/1088454.1088456</a></li>
</ul>