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

Documents Related by Co-Citation

93 A Critique of Standard ML – Andrew W. Appel - 1992
1565 The Definition of Standard ML – Robin Milner, Mads Tofte - 1990
8 A Unified Computation Model for Declarative Programming – M Hanus - 1997
65 Programming in an Integrated Functional and Logic Language – J. W. Lloyd, Y. Guo, M. Hagiya - 1999
56 PAKCS: The Portland Aachen Kiel Curry System. Available at http: //www.informatik.uni-kiel.de/~pakcs – M Hanus, S Antoy, B Braßel, M Engelke, K Höppner, J Koj, P Niederau, R Sadre, F Steiner - 2010
625 Compiling With Continuations – A W Appel - 1992
7 The Scheme of Things – Jonathan Rees, Jonathan Rees (guest Columnist
4 Venari/ML interfaces and examples – J M Wing, M Faehndrich, N Haines, K Kietzke, D Kindred, J G Morrisett, S Nettles - 1993
2 Encina (Transarc Corporation). Private communication – Graeme Dixon - 1993
2 Transaction monitoring facility – P Helland - 1985
3 An extended scheduling mechanism for nested transactions – B G HUMM - 1993
2 Safe and efficient transaction support for heap-based languages – Scott M Nettles - 1994
21 Persistence + Undoability = Transactions – Scott M. Nettles, Jeannette M. Wing - 1992
4 A technical overview of Arjuna: a system for reliable distributed computing – G D Dixon, S K Shrivastava, F Hedayati, G D Partington, S M Wheater - 1988
52 Camelot and Avalon: A Distributed Transaction Facility – J L Eppinger, L B Mummert, A Z Spector - 1991
42 Inheritance of synchronization and Recovery Properties in Avalon/C – D Detlefs, M P Herlihy, J M Wing - 1988
60 Adding Threads to Standard ML – Eric C. Cooper, J. Gregory Morrisett - 1990
23 Constraining control – Daniel P Friedman, Christopher T Haynes - 1985
19 Debuggable Concurrency Extensions for Standard ML – Andrew Tolmach - 1991