Zobrazeno 1 - 1
of 1
pro vyhledávání: '"Mátyás Szokoli"'
Autor:
Mátyás Szokoli, Attila Kiss
Publikováno v:
Acta Universitatis Sapientiae: Informatica, Vol 12, Iss 2, Pp 232-250 (2020)
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 algor