Representing object identity in a pure functional language (1990)

by Atsushi Ohori
Venue:Proceedings of the Third International Conference on Database Theory