Paper published: Improving errors for Dependent Types

:: Papers, Dependent Types, Error Messages, Unification

By: Joey Eremondi

The paper version of my Master’s thesis is now live! You can read the open access article here.

The paper talks about ways to represent higher order unification for dependent types as constraint graphs. With this format, heuristics can be used to locate errors, and can identify when multiple locations are involved in a single error.