Extending ML polymorphism to record structure (1990)

by Atsushi Ohori