Moded Type Systems for Logic Programming

Katherine A. Yelick, Joseph L. Zachary. Moded Type Systems for Logic Programming. In POPL. pages 116-124, 1989.

References

No references recorded for this publication.

Cited by

No citations of this publication recorded.