{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:59:32Z","timestamp":1725663572187},"publisher-location":"Berlin, Heidelberg","reference-count":12,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540572640"},{"type":"electronic","value":"9783540480273"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-57264-3_47","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T07:34:26Z","timestamp":1330241666000},"page":"267-281","source":"Crossref","is-referenced-by-count":2,"title":["Polymorphic types and widening operators"],"prefix":"10.1007","author":[{"given":"B.","family":"Monsuez","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"23_CR1","doi-asserted-by":"crossref","unstructured":"A. Aiken, B. Murphy, Static Type Inference in a Dynamically Typed Language, Conf. rec of the 18th ACM Symposium on POPL, Orlando Florida 279\u2013290, Jan 1991.","DOI":"10.1145\/99583.99621"},{"key":"23_CR2","doi-asserted-by":"crossref","unstructured":"M.Coppo, M.Dezani-Ciancaglini, An extension of the Basic Functionality Theory for the l-Calculus, Notre Dame, Journal of Formal Logic 21 (4), 1980.","DOI":"10.1305\/ndjfl\/1093883253"},{"key":"23_CR3","unstructured":"P. Cousot, M\u00e9thodes it\u00e9ratives de construction et d'approximation de points fixes d'op\u00e9rateurs monotones sur un treillis, analyse s\u00e9mantique des programmes. Th\u00e8se d'Etat, Grenoble 1978."},{"key":"23_CR4","doi-asserted-by":"crossref","unstructured":"P. & R. Cousot, Abstract Interpretation: a unified lattice model for static analysis of program by construction of approximate fixpoints, Conf. rec of the 4th ACM Symposium on POPL, Jan 1977.","DOI":"10.1145\/512950.512973"},{"key":"23_CR5","unstructured":"R. Harper, D. MacQueen, R. Milner Standard ML Report ECS-LFCS-86-2, Edinburgh University."},{"key":"23_CR6","volume-title":"LNCS 652","author":"B. Monsuez","year":"1992","unstructured":"B. Monsuez Polymorphic Typing by Abstract Interpretation Conf. rec. of the 12th Conference on FST&TCS, December 1992, New Dehli, India, LNCS 652 Springer Verlag."},{"key":"23_CR7","unstructured":"B. Monsuez Fractional Types Prooceding of the Workshop on Static Analysis, Septembre 1992, Bordeaux, France, BIGRE 82."},{"key":"23_CR8","doi-asserted-by":"crossref","unstructured":"N.D. Jones, A. Mycroft, A relational framework for abstract interpretation in \u201dProgram as Data Objects\u201d Proc. of a workshop in Copenhagen Oct. 1985. Ed. Ganziger and Jones. LNCS 215 Springer Verlag.","DOI":"10.1007\/3-540-16446-4_9"},{"key":"23_CR9","doi-asserted-by":"crossref","first-page":"195","DOI":"10.1007\/3-540-19426-6_13","volume":"315","author":"T. Karnomori","year":"1988","unstructured":"T. Karnomori, K. Horiuchi Polymorphic Type Inference in Prolog by Abstract Interpretation, in Logic Programming '87, Tokyo, LNCS 315, 1988, 195\u2013214.","journal-title":"Logic Programming '87, Tokyo"},{"key":"23_CR10","doi-asserted-by":"crossref","unstructured":"A.J. Kfoury, J. Tiuryn, P. Urzyczyn, The undecidability of the semi-unification problem Proc. ACM Symp. Theory of Computing, 1990.","DOI":"10.1145\/100216.100279"},{"key":"23_CR11","doi-asserted-by":"crossref","unstructured":"A. Mycroft Polymorphic Types Schemes and Recursive Definitions in LNCS 167 International Symposium on Programming. 6th Colloquium April 1984, Toulouse.","DOI":"10.1007\/3-540-12925-1_41"},{"key":"23_CR12","unstructured":"D. Turner, Miranda, a non-strict functional language with polymorphic types in Functional programming Languages and Computer Architecture, Nancy, LNCS 201."}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57264-3_47.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T16:10:30Z","timestamp":1605629430000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57264-3_47"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540572640","9783540480273"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/3-540-57264-3_47","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}