Gradual Indexed Inductive Types. - Mara Malewski; Kenji Maillard; Nicolas Tabareau; Éric Tanter (Proc. ACM Program. Lang., 2024)