Martin Elsman. Polymorphic Equality - No Tags Required. In Xavier Leroy, Atsushi Ohori, editors, Types in Compilation, Second International Workshop, TIC 98, Kyoto, Japan, March 25-27, 1998, Proceedings. Volume 1473 of Lecture Notes in Computer Science, pages 136-155, Springer, 1998. [doi]
Abstract is missing.