{"inproceedings":{"@attributes":{"key":"conf\/cpp\/JohannG22","mdate":"2022-04-09"},"author":["Patricia Johann","Enrico Ghiorzi"],"title":"(Deep) induction rules for GADTs.","pages":"324-337","year":"2022","booktitle":"CPP","ee":"https:\/\/doi.org\/10.1145\/3497775.3503680","crossref":"conf\/cpp\/2022","url":"db\/conf\/cpp\/cpp2022.html#JohannG22"}}