Polymorphic Equality - No Tags Required (1989)

by Martin Elsman
Venue:In Proceedings of the 2nd International Workshop on Types in Compilation, Kyoto