Refereed publications:
The Second Futamura
Projection for the Type-Directed Partial Evaluation.
Bernd Grobauer and Zhe Yang.
In PEPM'2000 (ACM workshop) and HOSC (journal).
An Operational Investigation of the CPS Hierarchy.
Olivier Danvy and Zhe Yang. In ESOP'99 (ETAPS conference).
Encoding Types in ML-like
Languages.
Zhe Yang. In ICFP'98 (ACM conference).
High Level Reading and
Data Structure Compilation.
Robert Paige and Zhe Yang. In POPL'97 (ACM conference).