Jens P. Secher, Morten Heine Sørensen
From checking to inference via driving and dag grammars
PEPM, 2002.
@inproceedings{PEPM-2002-SecherS,
author = "Jens P. Secher and Morten Heine Sørensen",
booktitle = "{Proceedings of the Eighth Workshop on Partial Evaluation and Semantics-Based Program Manipulation}",
doi = "10.1145/503032.503036",
isbn = "1-58113-455-X",
pages = "41--51",
publisher = "{ACM}",
title = "{From checking to inference via driving and dag grammars}",
year = 2002,
}