Charles Consel, Siau-Cheng Khoo. On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs. Journal of Functional Programming, 5(4):461-500, 1995.
@article{ConselK95,
title = {On-Line & Off-Line Partial Evaluation: Semantic Specifications and Correctness Proofs},
author = {Charles Consel and Siau-Cheng Khoo},
year = {1995},
tags = {partial evaluation},
researchr = {https://researchr.org/publication/ConselK95},
cites = {0},
citedby = {0},
journal = {Journal of Functional Programming},
volume = {5},
number = {4},
pages = {461-500},
}