Deriving Polymorphic Type Dependencies for Logic Programs using Multiple Incarnations of Prop

Michael Codish, Bart Demoen

Research output: Chapter in Book/Report/Conference proceedingConference contributionpeer-review

Abstract


Original languageEnglish GB
Title of host publication1994 Joint Conference on Declarative Programming, GULP-PRODE'94 Peñiscola, Spain, September 19-22, 1994, Volume 1
EditorsMaría Alpuente, Roberto Barbuti, Isidro Ramos
Pages327-341
Number of pages15
StatePublished - 1994

Cite this