@InProceedings{nanevski+:geompred-icfp,
  author = 	 {Aleksandar Nanevski and Guy Blelloch and Robert Harper},
  title = 	 {Automatic Generation of Staged Geometric Predicates},
  booktitle = 	 {International Conference on Functional Programming},
  pages =	 {?--?},
  year =	 2001,
  address =	 {Florence, Italy},
  month =	 {September}
}