Type-safe modular hash-consing (2006)

Cached

Download Links

by Jean-christophe Filliâtre , Sylvain Conchon
Venue:In: Proceedings of the 2006 workshop on ML
Citations:11 - 2 self