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