Polymorphic Directional Types for Logic Programming

Pawel Rychlikowski, Tomasz Truderung. Polymorphic Directional Types for Logic Programming. In Proceedings of the 3rd international ACM SIGPLAN conference on Principles and practice of declarative programming, September 5-7, 2001, Florence, Italy. pages 61-72, ACM, 2001.

Abstract

Abstract is missing.