Automatic Generation of Staged Geometric Predicates.

Aleksandar Nanevski, Guy E. Blelloch, Robert Harper

Browse the full ICFP paper archive.