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.

Authors

Pawel Rychlikowski

This author has not been identified. Look up 'Pawel Rychlikowski' in Google

Tomasz Truderung

This author has not been identified. Look up 'Tomasz Truderung' in Google