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