Monadic State: Axiomatization and Type Safety (1997)

Cached

Download Links

by John Launchbury , Amr Sabry , When Launchbury , Peyton Jones Introduced Encapsulated
Venue:In Proceedings of the 2nd ACM SIGPLAN International Conference on Functional Programming (ICFP’97
Citations:24 - 5 self

Document Versions

Monadic State: Axiomatization and Type Safety –John Launchbury, Amr Sabry, When Launchbury, Peyton Jones Introduced Encapsulated — 1997 — In Proceedings of the 2nd ACM SIGPLAN International Conference on Functional Programming (ICFP’97
Monadic State: Axiomatization and Type Safety –John Launchbury, Amr Sabry — 1997 — IN PROCEEDINGS OF THE 2ND ACM SIGPLAN INTERNATIONAL CONFERENCE ON FUNCTIONAL PROGRAMMING (ICFP’97
Monadic State: Axiomatization and Type Safety –John Launchbury, Amr Sabry, When Launchbury, Peyton Jones Introduced Encapsulated — 1997 — In Proceedings of the 2nd ACM SIGPLAN International Conference on Functional Programming (ICFP’97