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.
Abstract is missing.