{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:52:47Z","timestamp":1725663167006},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540186250"},{"type":"electronic","value":"9783540480334"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1987]]},"DOI":"10.1007\/3-540-18625-5_58","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:40:35Z","timestamp":1330198835000},"page":"326-339","source":"Crossref","is-referenced-by-count":10,"title":["Specification=program+types"],"prefix":"10.1007","author":[{"given":"Lee","family":"Naish","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"22_CR1","unstructured":"K. R. Apt, H. A. Blair, and A. Walker, Towards a theory of declarative knowledge, Preprints of the Workshop on Foundations of Deductive Databases and Logic Programming, Washington, D.C., August 1986, pp. 546\u2013628."},{"key":"22_CR2","first-page":"129","volume-title":"Proceedings of the First International Logic Programming Conference","author":"M. Bruynooghe","year":"1982","unstructured":"M. Bruynooghe, Adding redundancy to obtain more reliable and more readable Prolog programs, Proceedings of the First International Logic Programming Conference, Faculte des Sciences de Luminy, Marseille, France, September 1982, pp. 129\u2013133."},{"key":"22_CR3","doi-asserted-by":"publisher","first-page":"471","DOI":"10.1145\/6041.6042","volume":"17","author":"L. Cardelli","year":"1985","unstructured":"L. Cardelli, and P. Wegner, On understanding types, data abstraction, and polymorphism, ACM Computing Surveys, 17:471\u2013522 (December 1985).","journal-title":"ACM Computing Surveys"},{"key":"22_CR4","unstructured":"K. Clark, and S. Sickel, Predicate logic: a calculus for the formal derivation of programs, Proceedings of the Fifth International Joint Conference on Artificial Intelligence, Cambridge, Massachusetts, August 1977, pp. 419\u2013420."},{"key":"22_CR5","unstructured":"K. Clark, The synthesis and verification of logic programs, Proceedings of the Conference on Logic and Computation, Vol. II, Melbourne, January 1984."},{"key":"22_CR6","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1145\/24697.24709","volume":"22","author":"W. Hankley","year":"1987","unstructured":"W. Hankley, Feature analysis of Turbo Prolog, SIGPLAN Notices, 22:111\u2013118 (March 1987).","journal-title":"SIGPLAN Notices"},{"key":"22_CR7","volume-title":"Lush-Resolution and its completeness, DCL Memo 78","author":"R. Hill","year":"1974","unstructured":"R. Hill, Lush-Resolution and its completeness, DCL Memo 78, Department of Artificial Intelligence, University of Edinburgh, Edinburgh, Scotland, August 1974."},{"key":"22_CR8","doi-asserted-by":"publisher","first-page":"372","DOI":"10.1145\/322248.322258","volume":"28","author":"C. J. Hogger","year":"1981","unstructured":"C. J. Hogger, Derivation of logic programs, Journal of the ACM, 28:372\u2013392 (April 1981).","journal-title":"Journal of the ACM"},{"key":"22_CR9","unstructured":"R. Kowalski, The relationship between logic programming and logic specification, in: A. Hoare, and J. Shepherdson (eds.), Mathematical logic and programming languages, Prentice Hall, 1985."},{"key":"22_CR10","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1016\/0743-1066(84)90011-6","volume":"1","author":"J. W. Lloyd","year":"1984","unstructured":"J. W. Lloyd, and R. W. Topor, Making Prolog more expressive, Journal of Logic Programming, 1:225\u2013240 (1984).","journal-title":"Journal of Logic Programming"},{"key":"22_CR11","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-96826-6","volume-title":"Foundations of logic programming","author":"J. W. Lloyd","year":"1984","unstructured":"J. W. Lloyd, Foundations of logic programming, Springer-Verlag, New York, 1984."},{"key":"22_CR12","doi-asserted-by":"crossref","first-page":"410","DOI":"10.1007\/3-540-16492-8_91","volume-title":"Equivalences of logic programs, Proceedings of the Third International Conference on Logic Programming","author":"M. J. Maher","year":"1986","unstructured":"M. J. Maher, Equivalences of logic programs, Proceedings of the Third International Conference on Logic Programming, Imperial College of Science and Technology, London, England, July 1986, pp. 410\u2013424."},{"key":"22_CR13","doi-asserted-by":"publisher","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R. Milner","year":"1978","unstructured":"R. Milner, A theory of type polymorphism in programming, Journal of Computer and System Sciences, 17:348\u2013375 (December 1978).","journal-title":"Journal of Computer and System Sciences"},{"key":"22_CR14","unstructured":"P. Mishra, Towards a theory of types in Prolog, Proceedings of the IEEE International Symposium on Logic Programming, Atlantic City, New Jersey, February 1984, pp. 289\u2013298."},{"key":"22_CR15","unstructured":"A. Mycroft, and R. O'Keefe, A polymorphic type system for Prolog, Proceedings of the Logic Programming Workshop, Algarve, Portugal, 1983, pp. 107\u2013122."},{"key":"22_CR16","doi-asserted-by":"crossref","unstructured":"L. Naish, Negation and quantifiers in NU-Prolog, Proceedings of the Third International Conference on Logic Programming, Imperial College of Science and Technology, London, England, July 1986, pp. 624\u2013634.","DOI":"10.1007\/3-540-16492-8_111"},{"key":"22_CR17","first-page":"127","volume-title":"Unfold\/fold transformation of logic programs, Proceedings of the Second International Logic Programming Conference","author":"H. Tamaki","year":"1984","unstructured":"H. Tamaki, and T. Sato, Unfold\/fold transformation of logic programs, Proceedings of the Second International Logic Programming Conference, Uppsala University, Uppsala, Sweden, July 1984, pp. 127\u2013138."},{"key":"22_CR18","series-title":"Technical Report","volume-title":"NU-Prolog reference manual, version 1.0","year":"1986","unstructured":"J. Thom, and J. Zobel (eds.), NU-Prolog reference manual, version 1.0, Technical Report 86\/10, Department of Computer Science, University of Melbourne, Melbourne, Australia, 1986."},{"key":"22_CR19","unstructured":"J. Zobel, Derivation of polymorphic types for Prolog programs, Proceedings of the Fourth International Conference on Logic Programming, Melbourne, Australia, May 1987."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Technology and Theoretical Computer Science"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-18625-5_58.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,27]],"date-time":"2021-04-27T21:15:49Z","timestamp":1619558149000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-18625-5_58"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1987]]},"ISBN":["9783540186250","9783540480334"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-18625-5_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1987]]}}}