Searching for authors named "Zhe Yang" – sorted by Relevance.
8 documents found, showing 1 through 8.
-
Encoding Types in ML-like Languages
- … Science Encoding Types in ML-like Languages (Preliminary Version) Zhe Yang BRICS Report Series RS-98…
- Cited by 36 (0 self) – Add To MetaCart
-
The Second Futamura Projection for Type-Directed Partial Evaluation
- … Evaluation Bernd Grobauer Zhe Yang BRICS Report Series RS-99-40 ISSN 0909-0878 November 1999 Copyright c…
- Cited by 7 (1 self) – Add To MetaCart
-
High Level Reading and Data Structure Compilation
- …High Level Reading and Data Structure Compilation Robert Paige Zhe Yang Department of Computer…
- Cited by 8 (2 self) – Add To MetaCart
-
Language Support for Program Generation: Reasoning, Implementation, and Applications
- … Language Support for Program Generation Reasoning, Implementation, and Applications by Zhe Yang…
- Cited by 2 (0 self) – Add To MetaCart
-
PSE: Explaining Program Failures via Postmortem Static Analysis
- … 1-58113-855-5/04/0010 ...$5.00. Stephen Adams, Manuvir Das, Zhe Yang Center for Software Excellence…
- Cited by 25 (3 self) – Add To MetaCart
-
TREC-11 experiments at CAS-ICT: Filtering and web
- … Cheng, Yue Liu, Zhe Yang, Xueqi Cheng, Shuo Bai Institute of Computing Technology, Chinese Academy…
- Cited by 3 (0 self) – Add To MetaCart
-
TREC-11 Experiments at CAS-ICT: Filtering and Web
- … Cheng, Yue Liu, Zhe Yang, Xueqi Cheng, Shuo Bai Institute of Computing Technology, Chinese Academy…
- Add To MetaCart
-
Exact Geometric Computation: Theory and Applications
- … Nayakkankuppam, Xueying Qin, Xiaoping Tang, Zhe Yang, Ting-jen Yen and Dewang Zhu. My biggest gratitude goes…
- Cited by 4 (2 self) – Add To MetaCart
Showing 1 through 8.
