On-line Off-line Partial Evaluation: Semantic Specifications and Correctness Proofs (1993)

Cached

Download Links

by Charles Consel , Siau Cheng Khoo
Venue:Yale University
Citations:9 - 1 self

Document Versions

On-line Off-line Partial Evaluation: Semantic Specifications and Correctness Proofs –Charles Consel, Siau Cheng Khoo — 1993 — Yale University