Skip to content

Partial aborts for transactions via first-class continuations.

Matthew Le, Matthew Fluet

VenueAICFP
Year2015
ProceedingsICFP

Browse the full ICFP paper archive.