Type Class Instances for Type-Level Lambdas in Haskell

Thijs Alkemade, Johan Jeuring

    Research output: Book/Report › Report › Academic

    Original languageEnglish
    Place of PublicationUtrecht
    PublisherUU BETA ICS Departement Informatica
    Publication statusPublished - 2015

    Publication series

    NameTechnical Report Series
    PublisherUU Beta ICS Departement Informatica
    No.UU-CS-2015-014
    ISSN (Print)0924-3275

    Access to Document

      Cite this