Testing type class laws

J.T. Jeuring, P. Jansson, C. Amaral

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

    Original languageEnglish
    Title of host publicationProceedings of Haskell 2012: the 5th ACM SIGPLAN symposium on Haskell
    PublisherACM
    Pages49-60
    Publication statusPublished - 2012

    Cite this