Original language | English |
---|---|
Title of host publication | Pre-Proceedings of LOPSTR 2004, 14th International Workshop on Logic-based Program Synthesis and Transformation |
Editors | Sandro Etalle |
Place of Publication | Verona, Italien |
Publication date | 2004 |
Pages | 244 - 259 |
Publication status | Published - 2004 |
Inferring Polymorphic Types from Logic Programs
Maurice Bruynooghe, John Patrick Gallagher
Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research