Aleksandar Nanevski, Guy E. Blelloch, Robert Harper. Automatic Generation of Staged Geometric Predicates. In Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming. ICFP '01, pages 217-228, Association for Computing Machinery, New York, NY, USA, 2001.
@inproceedings{NanevskiBH01,
title = {Automatic Generation of Staged Geometric Predicates},
author = {Aleksandar Nanevski and Guy E. Blelloch and Robert Harper},
year = {2001},
tags = {e-science},
researchr = {https://researchr.org/publication/NanevskiBH01},
cites = {0},
citedby = {0},
pages = {217-228},
booktitle = {Proceedings of the Sixth ACM SIGPLAN International Conference on Functional Programming},
series = {ICFP '01},
address = {New York, NY, USA},
publisher = {Association for Computing Machinery},
}