Yu, Xin

Thesis or Disertation from CaltechTHESIS

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