R.E.,"I-Structure: An Effective Data Structure for Functional Languages (1978)

by Arvind, Thomas