POPL'18 | Generating good generators for inductive relations - Githubissues

UniverseFly / Readings

Reading valuable research ideas while taking notes through GitHub Issues

0 stars 0 forks source link

POPL'18 | Generating good generators for inductive relations #8

Open UniverseFly opened 3 years ago

UniverseFly commented 3 years ago

https://dl.acm.org/doi/pdf/10.1145/3158133