BY 4.0 license Open Access Published by De Gruyter Open Access January 24, 2019

A framework for improving error messages in dependently-typed languages

Joseph Eremondi, Wouter Swierstra and Jurriaan Hage
From the journal Open Computer Science