{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:56:46Z","timestamp":1725663406348},"publisher-location":"Berlin, Heidelberg","reference-count":20,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540190271"},{"type":"electronic","value":"9783540389415"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19027-9_6","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T19:57:07Z","timestamp":1330199827000},"page":"79-93","source":"Crossref","is-referenced-by-count":12,"title":["A polymorphic type system with subtypes for Prolog"],"prefix":"10.1007","author":[{"given":"Roland","family":"Dietrich","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Frank","family":"Hagl","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,1]]},"reference":[{"key":"6_CR1","volume-title":"Adding Redundancy to Obtain More Reliable and More Readable Prolog Programs","author":"M. Bruynooghe","year":"1982","unstructured":"M. Bruynooghe, Adding Redundancy to Obtain More Reliable and More Readable Prolog Programs, 1st International Conference on Logic Programming, Marseille, 1982."},{"doi-asserted-by":"crossref","unstructured":"L. Cardelli, P. Wegner, On understanding Types, Data Abstraction, and Polymorphism, Computing Surveys, Vol. 17, No. 4, December 1985.","key":"6_CR2","DOI":"10.1145\/6041.6042"},{"unstructured":"R. Dietrich, Modes and Types for Prolog, Arbeitspapiere der GMD Nr. 285, January 1988.","key":"6_CR3"},{"unstructured":"W. Drabent, Do Logic Programs Resemble Programs in Conventional Languages?, 4th IEEE Symposium on Logic Programming, San Francisco, 1987, 389\u2013397.","key":"6_CR4"},{"doi-asserted-by":"crossref","unstructured":"J. A. Goguen, J. Meseguer, Equality, Types, Modules, and Generics for Logic Programming, Proc. 2nd International Conference on Logic Programming, Uppsala, Sweden, 1984, 115\u2013126.","key":"6_CR5","DOI":"10.1016\/0743-1066(84)90004-9"},{"unstructured":"F. Hagl, Statische Analyse von Prolog Programmen mit Datenflu\\-und Typangaben, Diplomarbeit, Universit\u00e4t Karlsruhe\/GMD Karlsruhe, July 1987","key":"6_CR6"},{"unstructured":"M. Huber, I. Varsek, Extended Prolog for Order-Sorted Resolution, 4th IEEE Symposium on Logic Programming, San Francisco, 1987, 34\u201345.","key":"6_CR7"},{"doi-asserted-by":"crossref","unstructured":"J. W. Lloyd, Foundations of Logic Programming, Springer, 1984 (2nd Edition 1987).","key":"6_CR8","DOI":"10.1007\/978-3-642-96826-6"},{"doi-asserted-by":"crossref","unstructured":"C. S.Mellish, Some Global Optimizations for a Prolog Compiler, J. Logic Programming 1985, No. 1, 43\u201366.","key":"6_CR9","DOI":"10.1016\/0743-1066(85)90004-4"},{"issue":"3","key":"6_CR10","doi-asserted-by":"crossref","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, J. Computer System Science 17(3), 1978, 348\u2013375.","journal-title":"J. Computer System Science"},{"unstructured":"P. Mishra, Towards a Theory of Types in Prolog, Proc. 1st IEEE International Symposium on Logic Programming, 1984, 289\u2013298.","key":"6_CR11"},{"unstructured":"A. Mycroft, R. A. O'Keefe, A Polymorphic Type System for Prolog, DAI Research Paper 211, Dept. of Artificial Intelligence, Edinburgh University, 1983.","key":"6_CR12"},{"key":"6_CR13","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/0004-3702(84)90017-1","volume":"23","author":"A. Mycroft","year":"1984","unstructured":"A. Mycroft, R. A. O'Keefe, A Polymorphic Type System for Prolog, Artificial Intelligence 23, 1984, 295\u2013307.","journal-title":"Artificial Intelligence"},{"doi-asserted-by":"crossref","unstructured":"M. Schmidt-Schau\u00df, Unification in a Many-Sorted Calculus with Declarations, Proc. 8th Conference on Automated Deduction, Oxford, UK., July 1986, LNCS 230, 538\u2013552.","key":"6_CR14","DOI":"10.1007\/3-540-16780-3_118"},{"doi-asserted-by":"crossref","unstructured":"G. Smolka, Making Control and Data Flow in Logic Programs Explicit, Proc. 1984 ACM Symposium on LISP and Functional Programming, Austin, Texas, August 1984.","key":"6_CR15","DOI":"10.1145\/800055.802048"},{"unstructured":"G. Smolka, W. Nutt, Order-Sorted Equational Computation, Proc. CREAS, Austin, Texas, May 1987.","key":"6_CR16"},{"unstructured":"C. Walther, A Many-Sorted Calculus Based on Resolution and Paramodulation, Proc. 8th International Joint Conference on Artificial Intelligence, Karlsruhe, W. Germany, 1983, 882\u2013891.","key":"6_CR17"},{"unstructured":"D. H. D. Warren, Applied Logic \u2014 It's Use and Implementation as a Programming Tool, PhD Thesis, University of Edinburgh, 1977. Available as: Technical Note 290, June 1983, SRI International.","key":"6_CR18"},{"unstructured":"D. H. D. Warren, An Abstract Prolog Instruction Set, Technical Note 309, Artificial Intelligence Center, SRI International, 1983.","key":"6_CR19"},{"unstructured":"J. Zobel, Derivation of Polymorphic Types for Prolog Programs, Proc. 4th International Conference on Logic Programming, Melbourne, Australia, May 1987, 817\u2013838.","key":"6_CR20"}],"container-title":["Lecture Notes in Computer Science","ESOP '88"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19027-9_6.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:16:15Z","timestamp":1605644175000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19027-9_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540190271","9783540389415"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/3-540-19027-9_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}