Notions of Bidirectional Computation and Entangled State Monads.

Faris Abou-Saleh, James Cheney, Jeremy Gibbons, James McKinna, Perdita Stevens

Browse the full MPC paper archive.