Type-Safe Modular Hash-Consing (0)

by S Conchon, J-C Filliâtre
Venue:In Proc. ACM SIGPLAN Workshop on ML