Inferring Polymorphic Types from Logic Programs

Research output: Chapter in Book/Report/Conference proceeding › Book chapter › Research

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

Cite this

@inbook{d7f92e9052bd11dba4bc000ea68e967b,

title = "Inferring Polymorphic Types from Logic Programs",

author = "Maurice Bruynooghe and Gallagher, {John Patrick}",

year = "2004",

language = "English",

pages = "244 -- 259",

editor = "Sandro Etalle",

booktitle = "Pre-Proceedings of LOPSTR 2004, 14th International Workshop on Logic-based Program Synthesis and Transformation",

}