%0 Journal Article %1 journals/cejcs/EremondiSH19 %A Eremondi, Joseph %A Swierstra, Wouter %A Hage, Jurriaan %D 2019 %J Open Comput. Sci. %K dblp %N 1 %P 1-32 %T A framework for improving error messages in dependently-typed languages. %U http://dblp.uni-trier.de/db/journals/cejcs/cejcs9.html#EremondiSH19 %V 9

@article{journals/cejcs/EremondiSH19, added-at = {2020-03-04T00:00:00.000+0100}, author = {Eremondi, Joseph and Swierstra, Wouter and Hage, Jurriaan}, biburl = {https://www.bibsonomy.org/bibtex/2debae03294957fcf90cb2647160510ef/dblp}, ee = {https://doi.org/10.1515/comp-2019-0001}, interhash = {2337bfa0ce241ae39f991db469a46968}, intrahash = {debae03294957fcf90cb2647160510ef}, journal = {Open Comput. Sci.}, keywords = {dblp}, number = 1, pages = {1-32}, timestamp = {2020-03-05T11:52:17.000+0100}, title = {A framework for improving error messages in dependently-typed languages.}, url = {http://dblp.uni-trier.de/db/journals/cejcs/cejcs9.html#EremondiSH19}, volume = 9, year = 2019 }