BT

Facilitating the spread of knowledge and innovation in professional software development

Contribute

Topics

Choose your language

InfoQ Homepage Presentations Finding Minimum Type Error Sources

Finding Minimum Type Error Sources

Bookmarks
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.

Recorded at:

Apr 17, 2015

Hello stranger!

You need to Register an InfoQ account or or login to post comments. But there's so much more behind being registered.

Get the most out of the InfoQ experience.

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Community comments

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

Allowed html: a,b,br,blockquote,i,li,pre,u,ul,p

BT