Login / Signup

(Deep) induction rules for GADTs.

Patricia JohannEnrico Ghiorzi
Published in: CPP (2022)
Keyphrases