Article
Proceedings of the ACM on Programming Languages  (2019)

Approximate Normalization for Gradual Dependent Types

Eremondi, Joseph; Garcia, Ronald

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: 88:1
Página final: 88:30
URL: https://doi.org/10.1145/3341692