A Lazy Language Needs a Lazy Type System: Introducing Polymorphic Contexts

S.D. Swierstra, Marcos Viera, Atze Dijkstra

    Research output: Book/ReportReportAcademic

    Original languageEnglish
    Place of PublicationUtrecht
    PublisherDepartment of Information and Computing Sciences, Utrecht University
    Number of pages23
    Publication statusPublished - 2016

    Publication series

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

    Cite this