I-structures: An efficient data structure for functional languages (1980)

by Arvind, R E Thomas