Amanote Research

Amanote Research

    RegisterSign In

Partial Aborts for Transactions via First-Class Continuations

doi 10.1145/2784731.2784736
Full Text
Open PDF
Abstract

Available in full text

Date

January 1, 2015

Authors
Matthew LeMatthew Fluet
Publisher

ACM Press


Related search

Formalizing Implementation Strategies for First-Class Continuations

BRICS Report Series
1999English

Back to Direct Style II: First-Class Continuations

BRICS Report Series
1996English

Continuations of Analytic Functions of Class S and Class U

Nagoya Mathematical Journal
Mathematics
1970English

Frozen Embryo Aborts

Nature
Multidisciplinary
1983English

Introducing Continuations

Semantics and Linguistic Theory
2015English

The Continuations Saga

Serials Librarian
LibraryInformation Sciences
1991English

Decomposition Formulas for a Class of Partial Differential Equations

Proceedings of the American Mathematical Society
MathematicsApplied Mathematics
1982English

Securing Electronic Transactions via Payment Gateways - A Systematic Review

International Journal of Internet Technology and Secured Transactions
Computer NetworksComputer Science ApplicationsCommunications
2017English

A Partial Breadth-First Execution Model for Prolog

English

Amanote Research

Note-taking for researchers

Follow Amanote

© 2025 Amaplex Software S.P.R.L. All rights reserved.

Privacy PolicyRefund Policy