Olivier Danvy
Online Type-Directed Partial Evaluation
FLOPS, 1998.
@inproceedings{FLOPS-1998-Danvy,
author = "Olivier Danvy",
booktitle = "{Fuji International Symposium on Functional and Logic Programming}",
pages = "271--295",
title = "{Online Type-Directed Partial Evaluation}",
year = 1998,
}











