Peter Ross;David Overton;Zoltan Somogyi
-;-;-
Constraint-based mode analysis of mercury
Proceedings of the 4th ACM SIGPLAN international conference on Principles and practice of declarative programming