Type Analysis of Logic Programs in Presence of Type Definitions

Lunjin Lu

Bibtex Record

@inproceedings{LuPEPM95,
author = {L. Lu},
title = {Type Analysis of Logic Programs in the Presence of Type Definitions},
url = {http://www.oakland.edu/~l2lu/pubs/DetType.ps},
keywords = {type analysis and logic programming},
booktitle = {Proceedings of the 1995 ACM SIGPLAN Symposium on Partial Evaluation and Semantics-Based program manipulation},
year = 1995,
pages = {241-252},
publisher = {The ACM Press}
}