Pierre-Marie Pédrot, Nicolas Tabareau, Hans Jacob Fehrmann, Éric Tanter
A reasonably exceptional type theory
ICFP, 2019.
@article{ICFP-2019-PedrotTFT,
author = "Pierre-Marie Pédrot and Nicolas Tabareau and Hans Jacob Fehrmann and Éric Tanter",
doi = "10.1145/3341712",
journal = "{Proceedings of the ACM on Programming Languages}",
number = "ICFP",
pages = "29",
title = "{A reasonably exceptional type theory}",
volume = 3,
year = 2019,
}