A copy of this work was available on the public web and has been preserved in the Wayback Machine. The capture dates from 2006; you can also visit the original URL.
The file type is
We describe the design of a transactionfacility for a language that supports higher-orderfunctions. We factor transactions into four separable features: persistence, undoability, l o c king, and threads. Then, relying on function composition, w e s h o w h o w w e can put them together again. Our modular approach t o wards building transactions enables us to construct a model of concurrent, nested, multi-threaded transactions, as well as other non-traditional models where not all features ofdoi:10.1145/197320.197346 fatcat:gouvwybjpfgbbg6pvabf2a2lva