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

researchr

You are not signed in
Sign in
Sign up

Michael Codish, Bart Demoen. Deriving Polymorphic Type Dependencies for Logic Programs using Multiple Incarnations of Prop. In María Alpuente, Roberto Barbuti, Isidro Ramos, editors, 1994 Joint Conference on Declarative Programming, GULP-PRODE 94 Peñiscola, Spain, September 19-22, 1994, Volume 1. pages 327-341, 1994.

Abstract is missing.

runs on WebDSL