Acerca de este artículo
Publicado en línea: 29 ene 2021
Páginas: 232 - 250
Recibido: 09 jun 2020
Aceptado: 12 oct 2020
DOI: https://doi.org/10.2478/ausi-2020-0014
Palabras clave
© 2020 Mátyás Szokoli et al., published by Sciendo
This work is licensed under the Creative Commons Attribution-NonCommercial-NoDerivatives 4.0 International License.
In this paper we will be taking a look at type inference and its uses for binding-time analysis, dynamic typing and better error messages. We will propose a new binding-time analysis algorithm ℬ, which is a modification of an already existing algorithm by Gomard [4], and discuss the speed difference.