Tyson Dowd Zoltan Somogyi Fergus Henderson Thomas Conway David Jeffery Run Time Type Information in Mercury. 224-243 1999 conf/ppdp/1999 PPDP db/conf/ppdp/ppdp1999.html#DowdSHCJ99