Run time type information in Mercury (1999)

by Tyson Dowd, Zoltan Somogyi, Fergus Henderson, Thomas Conway, David Jeffery
Venue:In Proceedings of the 1999 International Conference on the Principles and Practice of Declarative Programming