Type Analysis of Prolog Using Type Graphs
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter

Pascal Van Hentenryck, Agostino Cortesi, Baudouin Le Charlier
Type Analysis of Prolog Using Type Graphs
PLDI, 1994.

PLDI 1994
Full names Links ISxN
	author        = "Pascal Van Hentenryck and Agostino Cortesi and Baudouin Le Charlier",
	booktitle     = "{Proceedings of the 15th Conference on Programming Language Design and Implementation}",
	doi           = "10.1145/178243.178479",
	editor        = "Vivek Sarkar and Barbara G. Ryder and Mary Lou Soffa",
	isbn          = "0-89791-662-X",
	note          = "long version: JLP 22(3): 179-209 (1995)",
	pages         = "337--348",
	publisher     = "{ACM}",
	title         = "{Type Analysis of Prolog Using Type Graphs}",
	year          = 1994,


Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.