InfoQ Homepage Presentations Finding Minimum Type Error Sources
Finding Minimum Type Error Sources
18:22
Summary
The presenters discuss a framework for automatic localization of minimum type errors, demonstratively implemented for Hindley-Milner type systems and evaluated against OCaml benchmarks.
Bio
Zvonimir Pavlinovic, New York University. Tim King, New York University. Thomas Wies New York University.
About the conference
SPLASH — the ACM SIGPLAN conference on Systems, Programming, Languages and Applications: Software for Humanity — embraces all aspects of programming, languages, and software construction and delivery. It incorporates OOPSLA, Onward!, the Dynamic Languages Symposium, and a host of workshops, panels, tutorials, demonstrations and invited talks.
Apr 17, 2015