Yang, Zhe
-
BRICS Report Series No. 9 (1998): RS-09 Encoding Types in ML-like Languages (Preliminary Version) - Articles
Encoding Types in ML-like Languages (Preliminary Version)
Abstract PDF -
BRICS Report Series No. 46 (2000): RS-46 Reasoning About Code-Generation in Two-Level Languages - Articles
Reasoning About Code-Generation in Two-Level Languages
Abstract PDF -
BRICS Report Series No. 40 (1999): RS-40 The Second Futamura Projection for Type-Directed Partial Evaluation - Articles
The Second Futamura Projection for Type-Directed Partial Evaluation
Abstract PDF -
BRICS Report Series No. 44 (2000): RS-44 The Second Futamura Projection for Type-Directed Partial Evaluation - Articles
The Second Futamura Projection for Type-Directed Partial Evaluation
Abstract PDF -
BRICS Report Series No. 35 (1998): RS-35 An operational Investigation of the CPS Hierarchy - Articles
An Operational Investigation of the CPS Hierarchy
Abstract