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

    Bruynooghe, M., & Gallagher, J. P. (2004). Inferring Polymorphic Types from Logic Programs. In S. Etalle (Ed.), Pre-Proceedings of LOPSTR 2004, 14th International Workshop on Logic-based Program Synthesis and Transformation (pp. 244 - 259).