{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:19Z","timestamp":1725663739930},"publisher-location":"Berlin, Heidelberg","reference-count":23,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540525318"},{"type":"electronic","value":"9783540470144"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1990]]},"DOI":"10.1007\/3-540-52531-9_131","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T21:35:12Z","timestamp":1330205712000},"page":"121-130","source":"Crossref","is-referenced-by-count":0,"title":["Polymorphic type checking with subtypes in Prolog"],"prefix":"10.1007","author":[{"given":"Thom W.","family":"Fr\u00fchwirth","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,5]]},"reference":[{"unstructured":"Bruynooghe M, Adding Redundancy to Obtain More Reliable and More Readable Prolog Programs, 1st Int Conference on Logic Programming, Marseille France, 1982","key":"14_CR1"},{"key":"14_CR2","volume-title":"Basic Polymorphic Type Checking, Draft","author":"L Cardelli","year":"1984","unstructured":"Cardelli L, Basic Polymorphic Type Checking, Draft, AT&T Bell Laboratories, Murray Hill New Jersey, \u2265 1984"},{"key":"14_CR3","volume-title":"Structural Subtyping and the Notion of Power Type, 15th ACM Symposium on Principles of Programming Languages","author":"L Cardelli","year":"1988","unstructured":"Cardelli L, Structural Subtyping and the Notion of Power Type, 15th ACM Symposium on Principles of Programming Languages, San Diego California, ACM Press, January 1988"},{"unstructured":"Chen W, Kifer M and Warren D, HiLog: A First-Order Semantics for Higher-Order Logic Programming Constructs, SUNY at Stony Brook, accepted at the North American Conference on Logic Programming, USA, 1989","key":"14_CR4"},{"key":"14_CR5","volume-title":"Complete Sets of Frontiers in Logic-based Program Transformation","author":"M. H. M. Cheng","year":"1988","unstructured":"Cheng M H M, van Emden M H and Strooper P A, Complete Sets of Frontiers in Logic-based Program Transformation, Meta 88 Workshop, Bristol England, July 1988"},{"doi-asserted-by":"crossref","unstructured":"Dietrich R and Hagl F, A Polymorphic Type System with Subtypes for Prolog, 2nd European Symposium on Programming, Nancy France, 1988","key":"14_CR6","DOI":"10.1007\/3-540-19027-9_6"},{"key":"14_CR7","volume-title":"Meta-Programming in Logic Programming","author":"T. W. Fr\u00fchwirth","year":"1989","unstructured":"Fr\u00fchwirth Thom W, Type Inference by Program Transformation and Partial Evaluation, Meta-Programming in Logic Programming, Abramson H and Rogers M H (eds), MIT Press, Cambridge Massachusetts, 1989"},{"unstructured":"Fr\u00fchwirth Thom W, A Polymorphic Type Checking System for Prolog in HiLog, 6th Israel Conference on Artificial Intelligence and Computer Vision, Ramat Gan Israel, December 1989","key":"14_CR8"},{"key":"14_CR9","volume-title":"Types in Logic Programming","author":"T. W. Fr\u00fchwirth","year":"1990","unstructured":"Fr\u00fchwirth Thom W, Types in Logic Programming, Ph.D. Thesis, Technical University Vienna, Computer Science Department E181B, Vienna Austria, March 1990"},{"key":"14_CR10","series-title":"Lecture Notes in Computer Science","volume-title":"Horn Clause Programs with Polymorphic Types: Semantics and Resolution, TAPSOFT '89","author":"M Hanus","year":"1989","unstructured":"Hanus M, Horn Clause Programs with Polymorphic Types: Semantics and Resolution, TAPSOFT '89, Lecture Notes in Computer Science 351, Goos G and Hartmanis J (eds), Springer, New York New York, 1989"},{"key":"14_CR11","volume-title":"A Type System for Algebraic Database Programming Languages","author":"D Jacobs","year":"1989","unstructured":"Jacobs D, A Type System for Algebraic Database Programming Languages, 2nd International Workshop on Database Programming Languages, Gleneden Beach Oregon, June 1989"},{"key":"14_CR12","series-title":"Lecture Notes in Computer Science","volume-title":"Logic Programming '87 6th Conf.","author":"T Kanamori","year":"1987","unstructured":"Kanamori T and Horiuchi K, Polymorphic Type Inference in Prolog by Abstract Interpretation, Logic Programming '87 6th Conf., Lecture Notes in Computer Science 315, Goos G and Hartmanis J (eds), Springer, New York New York, 1987"},{"key":"14_CR13","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-83189-8","volume-title":"Foundations of Logic Programming","author":"J. W. Lloyd","year":"1987","unstructured":"Lloyd J W, Foundations of Logic Programming, Second, extended Edition, Springer Verlag, Berlin Germany, 1987","edition":"Second, extende"},{"issue":"3","key":"14_CR14","doi-asserted-by":"crossref","first-page":"348","DOI":"10.1016\/0022-0000(78)90014-4","volume":"17","author":"R Milner","year":"1978","unstructured":"Milner R, A Theory of Type Polymorphism in Programming, Journal on Computer and System Sciences Vol 17 No 3, 1978, pp 348\u2013375","journal-title":"Journal on Computer and System Sciences"},{"issue":"3","key":"14_CR15","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, Vol 23, No 3, August 1984, pp 295\u2013307","journal-title":"Artificial Intelligence"},{"key":"14_CR16","volume-title":"Logic Programming with Polymorphically Order-Sorted Types, Lilog-Report 55","author":"G Smolka","year":"1988","unstructured":"Smolka G, Logic Programming with Polymorphically Order-Sorted Types, Lilog-Report 55, IBM Deutschland GmbH, Germany, October 1988"},{"key":"14_CR17","volume-title":"The Art of Prolog","author":"L Sterling","year":"1986","unstructured":"Sterling L and Shapiro E, The Art of Prolog, MIT Press, Cambridge Massachusetts, 1986"},{"key":"14_CR18","first-page":"415","volume":"86","author":"A Takeuchi","year":"1986","unstructured":"Takeuchi A and Furukawa K, Partial Evaluation of Prolog Programs and its Application to Meta Programming, Information Processing 86, 415\u2013420, North Holland, 1986","journal-title":"Information Processing"},{"key":"14_CR19","volume-title":"5th Int Logic programming Conference and 5th Int Symposium on Logic programming","author":"M. H. Emden van","year":"1988","unstructured":"van Emden M H, Conditonal Answers for Polymorphic Type Inference, in 5th Int Logic programming Conference and 5th Int Symposium on Logic programming, Kowalski R A and Bowen K A (eds), MIT Press, Cambridge Massachusetts, 1988"},{"key":"14_CR20","volume-title":"Advances in Artificial Intelligence","author":"R Venken","year":"1985","unstructured":"Venken R, A Prolog Meta-Interpreter for Partial Evaluation and its Application to Source to Source Transformation and Query-Optimization, in T. O'Shea (ed), Advances in Artificial Intelligence, ECCAI, Elsevier Science Publisher, Holland, 1985"},{"doi-asserted-by":"crossref","unstructured":"Wegner P and Cardelli L, On Understanding Types, Data Abstraction, and Polymorphism, Computing Surveys, Vol 17, No 4, December 1985","key":"14_CR21","DOI":"10.1145\/6041.6042"},{"key":"14_CR22","volume-title":"A Theory of Types and Type Inference in Logic Programming Languages","author":"J Xu","year":"1989","unstructured":"Xu J and Warren D S, A Theory of Types and Type Inference in Logic Programming Languages, Ph.D. Thesis, State University of New York at Stony Brook, Department of Computer Science, Stony Brook New York, July 1989"},{"key":"14_CR23","first-page":"211","volume-title":"Concurrent Prolog: Collected papers","author":"E Yardeni","year":"1987","unstructured":"Yardeni E and Shapiro E, A Type System for Logic Programs, in Concurrent Prolog: Collected papers, Shapiro E (ed), Vol 2, MIT Press, Cambridge Massachusetts, 1987, pp 211\u2013244"}],"container-title":["Lecture Notes in Computer Science","Design and Implementation of Symbolic Computation Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-52531-9_131.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T21:24:27Z","timestamp":1605648267000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-52531-9_131"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"ISBN":["9783540525318","9783540470144"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/3-540-52531-9_131","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1990]]}}}