T. L. Lakshman, Uday S. Reddy
Typed Prolog: A Semantic Reconstruction of the Mycroft-O’Keefe Type System
ICLP, 1991.
@inproceedings{ISLP-1991-LakshmanR,
author = "T. L. Lakshman and Uday S. Reddy",
booktitle = "{Proceedings of the Eighth International Symposium on Logic Programming}",
isbn = "0-262-69147-7",
pages = "202--217",
publisher = "{MIT Press}",
title = "{Typed Prolog: A Semantic Reconstruction of the Mycroft-O’Keefe Type System}",
year = 1991,
}