Composing Bidirectional Programs Monadically.

Li-yao Xia, Dominic Orchard, Meng Wang

Browse the full ESOP paper archive.