Frank Pfenning. Types in Logic Programming. In ICLP. pages 786, 1990.
@inproceedings{Pfenning90,
title = {Types in Logic Programming},
author = {Frank Pfenning},
year = {1990},
tags = {logic programming, programming, logic},
researchr = {https://researchr.org/publication/Pfenning90},
cites = {0},
citedby = {0},
pages = {786},
booktitle = {ICLP},
}