Type analysis of Prolog using type graphs

P. Van Hentenryck, A. Cortesi, B. Le Charlier
1994 Proceedings of the ACM SIGPLAN 1994 conference on Programming language design and implementation - PLDI '94  
doi:10.1145/178243.178479 dblp:conf/pldi/HentenryckCC94 fatcat:7ocnpstaunfunjsngu3n55sgki