Determinism analysis in the Mercury compiler (1996)

by Fergus Henderson, Zoltan Somogyi, Thomas Conway
Venue:In Proceedings of the Australian Computer Science Conference