Amanote Research
Register
Sign 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 Le
Matthew Fluet
Publisher
ACM Press
Related search
Formalizing Implementation Strategies for First-Class Continuations
BRICS Report Series
Back to Direct Style II: First-Class Continuations
BRICS Report Series
Continuations of Analytic Functions of Class S and Class U
Nagoya Mathematical Journal
Mathematics
Frozen Embryo Aborts
Nature
Multidisciplinary
Introducing Continuations
Semantics and Linguistic Theory
The Continuations Saga
Serials Librarian
Library
Information Sciences
Decomposition Formulas for a Class of Partial Differential Equations
Proceedings of the American Mathematical Society
Mathematics
Applied Mathematics
Securing Electronic Transactions via Payment Gateways - A Systematic Review
International Journal of Internet Technology and Secured Transactions
Computer Networks
Computer Science Applications
Communications
A Partial Breadth-First Execution Model for Prolog