Calculi for functional programming languages with assignment

Authors:
Daniel Eli Rabin;Paul R. Hudak
Affiliations:
-;-
Venue:
Calculi for functional programming languages with assignment
Year:
1996

Citing 0
Cited 3

Monadic state: axiomatization and type safety

ICFP '97 Proceedings of the second ACM SIGPLAN international conference on Functional programming
Monadic encapsulation in ML

Proceedings of the fourth ACM SIGPLAN international conference on Functional programming
Monadic encapsulation of effects: a revised approach (extended version)

Journal of Functional Programming

Quantified Score

Hi-index	0.00

Visualization

Abstract