Generating good generators for inductive relations

Leonidas Lampropoulos, Zoe Paraskevopoulou, Benjamin C. Pierce. Generating good generators for inductive relations. Proceedings of the ACM on Programming Languages, 2(POPL), 2018. [doi]

Authors

Leonidas Lampropoulos

This author has not been identified. Look up 'Leonidas Lampropoulos' in Google

Zoe Paraskevopoulou

This author has not been identified. Look up 'Zoe Paraskevopoulou' in Google

Benjamin C. Pierce

Identified as Benjamin C. Pierce