Home
People
Groups
Recent
Samples
JavaScript
Widgets
Search Feeds
About
Yu, Xin
Book Chapter from
CaltechAUTHORS
Yu, Xin and Arbabi, Ehsan, et el. (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, et el. (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, et el. (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