Equality and hashing for (almost) free: Generating implementations from abstraction functions.

Derek Rayside, Zev Benjamin, Rishabh Singh, Joseph P. Near, Aleksandar Milicevic, Daniel Jackson

Browse the full ICSE paper archive.