Partial aborts for transactions via first-class continuations.

Matthew Le Matthew Fluet

Published in: ICFP (2015)

Keyphrases

transaction processing
nested transactions
database
database systems
databases
feature selection
support vector
recursive functions