Programming Languages and Systems

It is suggested that a model based on persistent data structures could permit a variety of transactional algorithms to coexist in a library of composable transactional objects, and some related, open research challenges are described.