Yu, Xin

at Caltech

• PhD (2007) Reflection and Its Application to Mechanized MetaReasoning About Programming Languages

CaltechTHESIS

• Combined (1) (HTML, HTML Include, BibTeX, JSON, RSS)
• Thesis or Disertation (1) (HTML, HTML Include, BibTeX, JSON, RSS)

CaltechAUTHORS

• Combined (9) (HTML, HTML Include, BibTeX, JSON, RSS)
• Article (5) (HTML, HTML Include, BibTeX, JSON, RSS)
• Book Chapter (3) (HTML, HTML Include, BibTeX, JSON, RSS)
• Monograph (1) (HTML, HTML Include, BibTeX, JSON, RSS)