Hash-consing är en teknik för att dela värden som är strukturellt lika. Utöver den uppenbara fördelen med att spara minnesblock, kan hash-consing också användas för att påskynda grundläggande operationer och datastrukturer av flera storleksordningar när delning är maximal. Detta dokument introducerar ett OCAML hash-consing bibliotek som inkapslar hash-consed termer i en abstrakt datatyp, vilket på ett säkert sätt säkerställer maximal delning. Detta bibliotek parameteriseras också av en likhet som gör det möjligt för användaren att identifiera termer enligt ett godtyckligt ekvivalensförhållande.
De hashing tekniker som används i detta papper påminner om hash-consing [Filliâtre och REF, en teknik för att dela värden som är strukturellt lika.
Type-safe modular hash-consing
{'venue': "ML '06", 'journal': None, 'mag_field_of_study': ['Computer Science']}