Gradual Liquid Type Inference

Vazou, Niki; Tanter, Éric; Van Horn, David

Más información

Título de la Revista: Proceedings of the ACM on Programming Languages
Volumen: 2
Número: OOPSLA
Editorial: Association for Computing Machinery (ACM)
Fecha de publicación: 2018
Página de inicio: 132:1
Página final: 132:25
URL: https://doi.org/10.1145/3276502