A Verified Implementation of an Applicative Language with Dynamic Storage Allocation (1993)

by Arthur D. Flatau
Citations:18 - 0 self