Inferring Polymorphic Types from Logic Programs

Maurice Bruynooghe, John Patrick Gallagher

    Publikation: Bidrag til bog/antologi/rapportBidrag til bog/antologiForskning

    OriginalsprogEngelsk
    TitelPre-Proceedings of LOPSTR 2004, 14th International Workshop on Logic-based Program Synthesis and Transformation
    RedaktørerSandro Etalle
    Udgivelses stedVerona, Italien
    Publikationsdato2004
    Sider244 - 259
    StatusUdgivet - 2004

    Citer dette

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