Type Error Customization in GHC: Controlling expression-level type errors by type-level programming

Alejandro Serrano, J. Hage

    Research output: Chapter in Book/Report/Conference proceedingConference contributionAcademicpeer-review

    Original languageEnglish
    Title of host publicationProceedings of the 29th Symposium on Implementation and Application of Functional Programming Languages, IFL 2017, Bristol, UK, August 30 - September 01, 2017
    PublisherAssociation for Computing Machinery
    Pages2:!
    Number of pages2
    Publication statusPublished - 2017

    Cite this