Portal del Investigador
A Gradual Interpretation of Union Types
Más información
| Título de la Revista: | LECTURE NOTES IN COMPUTER SCIENCE |
| Editorial: | SPRINGER VERLAG |
| Fecha de publicación: | 2017 |
| Página de inicio: | 382 |
| Página final: | 404 |
| DOI/URL: |
https=>//doi.org/10.1007/978-3-319-66706-5_19 |