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

Document Versions

Correctness of Monadic State: An Imperative Call-by-Need Calculus –Zena M. Ariola, Amr Sabry — 1998 — In Proc. 25th ACM Symposium on Principles of Programming Languages
Correctness of Monadic State: An Imperative Call-by-Need Calculus –Zena M. Ariola , Amr Sabry — 1998 — IN PROC. 25TH ACM SYMPOSIUM ON PRINCIPLES OF PROGRAMMING LANGUAGES