Collaborated with:D.Orchard M.W.0002 B.C.Pierce L.Lampropoulos Diane Gallois-Wong C.Hritcu J.Hughes Yannick Zakowski Paul He C.Hur G.Malecha S.Zdancewic
Talks about:program (2) properti (1) interact (1) bidirect (1) languag (1) generat (1) repres (1) recurs (1) compos (1) beginn (1)
Person: Li-yao Xia
DBLP: Xia:Li=yao
Contributed to:
2019
20172020Wrote 3 papers:
- ESOP-2019-XiaOW #bidirectional #source code
- Composing Bidirectional Programs Monadically (LyX, DO, MW0), pp. 147–175.
- POPL-2017-LampropoulosGHH #generative
- Beginner's luck: a language for property-based generators (LL, DGW, CH, JH, BCP, LyX), pp. 114–129.
- POPL-2020-XiaZHHMPZ #coq #interactive #recursion #representation #source code
- Interaction trees: representing recursive and impure programs in Coq (LyX, YZ, PH, CKH, GM, BCP, SZ), p. 32.