Type Constraint Solving for Parametric and Ad-hoc Polymorphism

    Research output: Book/ReportBookOther

    Original languageEnglish
    Place of PublicationClayton Vic Australia
    PublisherMonash University
    Number of pages20
    Publication statusPublished - 1999

    Cite this