mike@olan.com (Michael N. Livshin) writes: > To solve this problem, the types are kept in a weak hash table with a > guardian (see Dybvig's paper on guardians for definition). Is this the PLDI93 paper? If not, could you give a pointer, please? Best regards, /mdj