Correctness of Monadic State: An Imperative Call-by-Need Calculus (1998)

Cached

Download Links

by Zena M. Ariola , Amr Sabry
Venue:In Proc. 25th ACM Symposium on Principles of Programming Languages
Citations:20 - 2 self