Isolating Side Effects in Sequential Languages (1995)

Cached

Download Links

by Jon G. Riecke , Ramesh Viswanathan
Venue:In Proceedings of the 22nd ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages (POPL’95
Citations:19 - 2 self

Documents Related by Co-Citation

731 Notions of Computation and Monads – Eugenio Moggi - 1991
474 Denotational Semantics: The Scott-Strachey Approach to Programming Language Theory – J E STOY - 1977
364 Towards a theory of type structure – J C Reynolds - 1974
441 Computational Lambda-Calculus and Monads – Eugenio Moggi - 1988
889 A Theory of Objects – Luca Cardelli, Martín Abadi - 1996
1311 Monads for functional programming – Philip Wadler - 1995
457 Comprehending Monads – Philip Wadler - 1992
280 Region-Based Memory Management – Mads Tofte, Jean-Pierre Talpin - 1997
820 Dynamic Logic – David Harel, Dexter Kozen, Jerzy Tiuryn - 1984