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 Frank S. de Boer, Maurizio Gabbrielli, editors, ICLP 1994 Workshop W2: Verification and Analysis of (Concurrent) Logic Languages, Santa Margherita Ligure, Italy, June 1994. 1994.

Abstract is missing.

runs on WebDSL