Refining First-Class Stores (1993)

Cached

Download Links

by J. Gregory Morrisett
Venue:In Proceedings of the ACM SIGPLAN Workshop on State in Programming Languages
Citations:9 - 2 self

Active Bibliography

Toward a Feasible Functional Logic Compiler Employing Fair Search – Marius Nita - 2005
618 From System F to Typed Assembly Language – Greg Morrisett, David Walker, Karl Crary, Neal Glew - 1998
1006 Oceanstore: An architecture for global-scale persistent storage – John Kubiatowicz, David Bindel, Yan Chen, Steven Czerwinski, Patrick Eaton, Dennis Geels, Ramakrishna Gummadi, Sean Rhea, Hakim Weatherspoon, Westley Weimer, Chris Wells, Ben Zhao - 2000
692 Query evaluation techniques for large databases – Goetz Graefe - 1993
599 A Survey of Rollback-Recovery Protocols in Message-Passing Systems – E. N. ( Mootaz) Elnozahy, Lorenzo Alvisi, Yi-min Wang, David B. Johnson - 1996
423 Obliq - A language with distributed scope – Luca Cardelli - 1995
333 A Methodology for Implementing Highly Concurrent Data Objects – Maurice Herlihy - 1993
318 Optimistic recovery in distributed systems – Robert E. Strom, Shaula Yemini - 1985
305 Libckpt: Transparent Checkpointing under Unix – James S. Plank, Micah Beck, Gerry Kingsley, Kai Li - 1995