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