{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:39Z","timestamp":1725663519244},"publisher-location":"Berlin, Heidelberg","reference-count":10,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540563938"},{"type":"electronic","value":"9783540475491"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56393-8_35","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T11:08:27Z","timestamp":1330254507000},"page":"438-447","source":"Crossref","is-referenced-by-count":0,"title":["Logic programs with polymorphic types: A condition for static type checking"],"prefix":"10.1007","author":[{"given":"Staffan","family":"Bonnier","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jonas","family":"Wallgren","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"35_CR1","unstructured":"Bonnier, S. A Formal Basis for Horn Clause Logic with External Polymorphic Functions Dissertation, 1992, Link\u00f6ping University"},{"key":"35_CR2","doi-asserted-by":"crossref","unstructured":"Bonnier, S. and Maluszy\u0144ski, J. Towards a Clean Amalgamation of Logic Programs with External Procedures In: Kowalski, R. A. and Bowen, K. A. (eds.) Proceedings of 5th International Conference and Symposium of Logic Programming 1988","DOI":"10.1007\/3-540-50820-1_38"},{"key":"35_CR3","doi-asserted-by":"crossref","unstructured":"Boye, J. S-SLD-resolution \u2014 An Operational Semantics for Logic Programs with External Procedures In: Maluszy\u0144sky, J. and Wirsing, M. (eds.) Proceedings of 3rd International Symposium on Programming Language Implementation and Logic Programming 1991","DOI":"10.1007\/3-540-54444-5_114"},{"key":"35_CR4","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1016\/0304-3975(90)90107-S","volume":"89","author":"M. Hanus","year":"1991","unstructured":"Hanus, M. Horn clause programs with polymorphic types: semantics and resolution Theoretical Computer Science 89(1991), pp 63\u2013106","journal-title":"Theoretical Computer Science"},{"key":"35_CR5","unstructured":"Klu\u017aniak, F. and K\u00e5gedal, A. Enriching Prolog with S-Unification In: Darlington, J. and Dietrich, R. (eds.) Proceedings of PHOENIX Seminar & Workshop on Declarative Programming 1991"},{"key":"35_CR6","doi-asserted-by":"crossref","unstructured":"Lloyd, J. W. Foundations of Logic Programming, 2nd ed. Springer-Verlag 1987, ISBN 3-540-18199-7","DOI":"10.1007\/978-3-642-83189-8"},{"key":"35_CR7","doi-asserted-by":"crossref","first-page":"295","DOI":"10.1016\/0004-3702(84)90017-1","volume":"23","author":"A. Mycroft","year":"1984","unstructured":"Mycroft, A. and O'Keefe, R. A. A Polymorphic Type System for Prolog Artificial Intelligence 23(1984), pp 295\u2013307","journal-title":"Artificial Intelligence"},{"key":"35_CR8","doi-asserted-by":"crossref","unstructured":"Nilsson, U. Systematic Semantic Approximations of Logic Programs In: Deransart, P. and Maluszynski, J. (eds.) Proceedings of International Workshop on Programming Language Implementation and Logic Programming 1990","DOI":"10.1007\/BFb0024191"},{"key":"35_CR9","unstructured":"Pfennig, F. Tutorial on Types in Logic Programming Given at the 7th International Conference on Logic Programming 1990"},{"key":"35_CR10","unstructured":"Wallgren, J. Licentiate thesis, To appear (1992), Link\u00f6ping University (On types and logic programming \u2014 No preliminary title yet)"}],"container-title":["Lecture Notes in Computer Science","Conditional Term Rewriting Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-56393-8_35.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:03:37Z","timestamp":1605647017000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56393-8_35"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540563938","9783540475491"],"references-count":10,"URL":"https:\/\/doi.org\/10.1007\/3-540-56393-8_35","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}