The Walking Dev

An Equational Theory for Transactions

Aug 26, 2026 47:55

Audio file

An overview of the paper "An Equational Theory for Transactions" by Andrew Black, Vincent Cremet, Rachid Guerraoui, Martin Odersky.