Zhe Yang

Affiliations:
  • New York University, Department of Computer Science, NY, USA (PhD 2001)


According to our database1, Zhe Yang authored at least 5 papers between 1997 and 2004.

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

2004
Encoding types in ML-like languages.
Theor. Comput. Sci., 2004

2001
Language Support for Program Generation Reasoning, Implementation, and Applications.
PhD thesis, 2001

The Second Futamura Projection for Type-Directed Partial Evaluation.
High. Order Symb. Comput., 2001

1999
An Operational Investigation of the CPS Hierarchy.
Proceedings of the Programming Languages and Systems, 1999

1997
High Level Reading and Data Structure Compilation.
Proceedings of the Conference Record of POPL'97: The 24th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages, 1997


  Loading...