Home
People
Groups
Recent
Samples
JavaScript
Widgets
Search Feeds
About
Yu, Xin
Monograph from
CaltechTHESIS
Yu, Xin (2007)
Reflection and Its Application to Mechanized MetaReasoning About Programming Languages
;
10.7907/S0HG-RT72