Moded Type Systems for Logic Programming

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

Abstract

Abstract is missing.