Katherine A. Yelick, Joseph L. Zachary. Moded Type Systems for Logic Programming. In POPL. pages 116-124, 1989.
@inproceedings{YelickZ89, title = {Moded Type Systems for Logic Programming}, author = {Katherine A. Yelick and Joseph L. Zachary}, year = {1989}, tags = {type system, logic programming, programming, logic}, researchr = {https://researchr.org/publication/YelickZ89}, cites = {0}, citedby = {0}, pages = {116-124}, booktitle = {POPL}, }