( en | de | ru )

 

Disambiguation of "yao Xia, Li"

Author of the publication

copydeleteadd this publication to your clipboard
Beginner's luck: a language for property-based generators.

, , , , , and . POPL, page 114-129. ACM, (2017)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Xia Li

Li Xia

Li Yao

Li-Jun Yao

Yao Yao

 

Other publications of authors with the same name

How to Sign Paper Contracts? Conjectures & Evidence Related to Equitable & Efficient Collaborative Task Scheduling., , and . IACR Cryptology ePrint Archive, (2013)From C to Interaction Trees: Specifying, Verifying, and Testing a Networked Server., , , , , , , , and . CoRR, (2018)Interaction trees: representing recursive and impure programs in Coq., , , , , , and . Proc. ACM Program. Lang., 4 (POPL): 51:1-51:32 (2020)C4: verified transactional objects., , , , , , and . Proc. ACM Program. Lang., 6 (OOPSLA1): 1-31 (2022)Beginner's luck: a language for property-based generators., , , , , and . POPL, page 114-129. ACM, (2017)From C to interaction trees: specifying, verifying, and testing a networked server., , , , , , , , and . CPP, page 234-248. ACM, (2019)How to Sign Paper Contracts? Conjectures and Evidence Related to Equitable and Efficient Collaborative Task Scheduling., , and . Open Problems in Mathematics and Computational Science, Springer, (2014)Composing Bidirectional Programs Monadically., , and . ESOP, volume 11423 of Lecture Notes in Computer Science, page 147-175. Springer, (2019)Composing bidirectional programs monadically (with appendices)., , and . CoRR, (2019)Reasoning about the garden of forking paths., , and . CoRR, (2021)