Inferring Polymorphic Types from Logic Programs

Publikation: Bidrag til bog/antologi/rapport › Bidrag til bog/antologi › Forskning

Originalsprog	Engelsk
Titel	Pre-Proceedings of LOPSTR 2004, 14th International Workshop on Logic-based Program Synthesis and Transformation
Redaktører	Sandro Etalle
Udgivelsessted	Verona, Italien
Publikationsdato	2004
Sider	244 - 259
Status	Udgivet - 2004

Citer dette

@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",

}