BT
You are now in FULL VIEW
CLOSE FULL VIEW

Finding Minimum Type Error Sources
Recorded at:

| by Thomas Wies Follow 0 Followers , Zvonimir Pavlinovic Follow 0 Followers , Tim King Follow 0 Followers on Apr 17, 2015 |
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.

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.

BT