Properties of a rst-order functional language with sharing. Theoret (1995)

by Z M Ariola, Arvind
Venue:Comput. Sci