Polymorphic directional types for logic programming

Pawel Rychlikowski, Tomasz Truderung
2001 Proceedings of the 3rd ACM SIGPLAN international conference on Principles and practice of declarative programming - PPDP '01  
doi:10.1145/773184.773192 dblp:conf/ppdp/RychlikowskiT01 fatcat:qccmxnaajneindqgjh7q5evxtu