Dynamic types in ML (1983)

by Alan Mycroft