Logic Programming with Polymorphically Order-Sorted Types - researchr publication

researchr

You are not signed in
Sign in
Sign up

Gert Smolka. Logic Programming with Polymorphically Order-Sorted Types. In Jan Grabowski, Pierre Lescanne, Wolfgang Wechler, editors, International Workshop on Algebraic and Logic Programming. Volume 343 of Lecture Notes in Computer Science, pages 53-70, Springer, Gaussig, GDR, 1988.

Abstract is missing.

runs on WebDSL