We stand with Ukraine  

Xin Yu

Affiliations:
  • California Institute of Technology (CalTech), Department of Computer Science, Pasadena, CA, USA (PhD 2007)


According to our database1, Xin Yu authored at least 5 papers between 2003 and 2007.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2007
Reflection and Its Application to Mechanized MetaReasoning About Programming Languages.
[BibTeX]
[DOI]
Xin Yu
PhD thesis, 2007

2006
Practical Reflection for Sequent Logics.
[BibTeX]
[DOI]
Jason Hickey
,
Aleksey Nogin
,
Xin Yu
,
Alexei Kopylov
Proceedings of the First International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2006

Mechanized meta-reasoning using a hybrid HOAS/de bruijn representation and reflection.
[BibTeX]
[DOI]
Jason Hickey
,
Aleksey Nogin
,
Xin Yu
,
Alexei Kopylov
Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, 2006

2005
A computational approach to reflective meta-reasoning about languages with bindings.
[BibTeX]
[DOI]
Aleksey Nogin
,
Alexei Kopylov
,
Xin Yu
,
Jason Hickey
Proceedings of the ACM SIGPLAN International Conference on Functional Programming, 2005

2003
MetaPRL - A Modular Logical Environment.
[BibTeX]
[DOI]
Jason Hickey
,
Aleksey Nogin
,
Robert L. Constable
,
Brian E. Aydemir
,
Eli Barzilay
,
Yegor Bryukhov
,
Richard Eaton
,
Adam Granicz
,
Alexei Kopylov
,
Christoph Kreitz
,
Vladimir Krupski
,
Lori Lorigo
,
Stephan Schmitt
,
Carl Witty
,
Xin Yu
Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003


  Loading...