A reasonably exceptional type theory. - Pierre-Marie Pédrot; Nicolas Tabareau; Hans Jacob Fehrmann; Éric Tanter (Proc. ACM Program. Lang., 2019)