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, }