Computing correctly with inductive relations.

Zoe Paraskevopoulou, Aaron Eline, Leonidas Lampropoulos

Browse the full PLDI paper archive.