Zobrazeno 1 - 2
of 2
pro vyhledávání: '"John Pirie"'
Publikováno v:
Journal of Symbolic Computation. (2016).
Compilers for languages with type inference algorithms often produce confusing type error messages and give a single error location which is sometimes far away from the real location of the error. Attempts at solving this problem often (1) fail to in
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::43c83d2c955ce766edb56ed38e3aa9fe
https://doi.org/10.1016/j.jsc.2016.07.013
https://doi.org/10.1016/j.jsc.2016.07.013
Publikováno v:
LSFA
Compilers for languages with type inference algorithms produce confusing type error messages and give a single error location which is often far away from the real location of the type error. Attempts at solving this problem 1) fail to include the mu
Externí odkaz:
https://explore.openaire.eu/search/publication?articleId=doi_dedup___::fa13b13a12dd1137de2de08a854576ec