Article citationsMore>>

J. Xu and D. S. Warren, “A type inference system for Prolog,” Proceedings of the 5th International Conference and Symposium on Logic Programming, The MIT Press, Seattle, pp. 604–619, 15–19 August 1988.

has been cited by the following article:

Follow SCIRP
Twitter Facebook Linkedin Weibo
Contact us
WhatsApp +86 18163351462(WhatsApp)
Click here to send a message to me 1655362766
Paper Publishing WeChat
Free SCIRP Newsletters
Copyright © 2006-2023 Scientific Research Publishing Inc. All Rights Reserved.