Resumo
Todas as Atividades
Todas as Atividades
-
Finding Minimum Type Error Sources
The presenters discuss a framework for automatic localization of minimum type errors, demonstratively implemented for Hindley-Milner type systems and evaluated against OCaml benchmarks.