![](/img/cover-not-exists.png)
A reasonably exceptional type theory
Pédrot, Pierre-Marie, Tabareau, Nicolas, Fehrmann, Hans Jacob, Tanter, ÉricVolume:
3
Language:
english
Journal:
Proceedings of the ACM on Programming Languages
DOI:
10.1145/3341712
Date:
July, 2019
File:
PDF, 434 KB
english, 2019