Login / Signup

Generating good generators for inductive relations.

Leonidas LampropoulosZoe ParaskevopoulouBenjamin C. Pierce
Published in: Proc. ACM Program. Lang. (2018)
Keyphrases