Inferring Polymorphic Types from Logic Programs

Maurice Bruynooghe, John Patrick Gallagher

    Research output: Chapter in Book/Report/Conference proceedingBook chapterResearch

    Original languageEnglish
    Title of host publicationPre-Proceedings of LOPSTR 2004, 14th International Workshop on Logic-based Program Synthesis and Transformation
    EditorsSandro Etalle
    Place of PublicationVerona, Italien
    Publication date2004
    Pages244 - 259
    Publication statusPublished - 2004

    Cite this