Ariola and Arvind, Properties of a first-order functional language with sharing (1995)

by Z AA95
Venue:Theoretical Computer Science