Portal del Investigador
A Reasonably Exceptional Type Theory
Más información
| Título de la Revista: | Proceedings of the ACM on Programming Languages |
| Volumen: | 3 |
| Número: | ICFP |
| Editorial: | Association for Computing Machinery (ACM) |
| Fecha de publicación: | 2019 |
| Página de inicio: | 108:1 |
| Página final: | 108:29 |
| URL: | https://doi.org/10.1145/3341712 |