Li-yao Xia

Identifiers

• name variant Li-yao Xia 0.50 · backfill

Papers (1)

1. Composing bidirectional programs monadically (with appendices) cs.PL · 2019 · author #1

Mentions

No mention provenance yet.

Frequent Coauthors

• Dominic Orchard 1 shared papers
• Meng Wang 1 shared papers