Yu, Xin

CaltechTHESIS

• PHD (2007) Reflection and Its Application to Mechanized MetaReasoning About Programming Languages; 10.7907/S0HG-RT72

CaltechAUTHORS

• Combined HTML, HTML Include, BibTeX, JSON, RSS
• Article HTML, HTML Include, BibTeX, JSON, RSS
• Book Section HTML, HTML Include, BibTeX, JSON, RSS
• Monograph HTML, HTML Include, BibTeX, JSON, RSS

CaltechTHESIS

• Combined HTML, HTML Include, BibTeX, JSON, RSS
• Phd HTML, HTML Include, BibTeX, JSON, RSS