{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:04:57Z","timestamp":1725663897855},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540539827"},{"type":"electronic","value":"9783540465638"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-53982-4_24","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T22:21:02Z","timestamp":1330208462000},"page":"441-455","source":"Crossref","is-referenced-by-count":2,"title":["Type inference with inequalities"],"prefix":"10.1007","author":[{"given":"Michael I.","family":"Schwartzbach","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,6,7]]},"reference":[{"key":"24_CR1","doi-asserted-by":"crossref","unstructured":"Barendregt, H. \u201cTypes in Lambda Calculi and Programming Languages\u201d in Proceedings of ESOP'90, LNCS Vol 432, Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52592-0_53"},{"key":"24_CR2","unstructured":"Cardelli, L. & Mitchell, J. \u201cOperations on Records\u201d in Proceedings of MFPS'90, LNCS Vol 442, Springer-Verlag, 1990."},{"key":"24_CR3","doi-asserted-by":"crossref","first-page":"131","DOI":"10.1007\/BF01744293","volume":"13","author":"B. Courcelle","year":"1979","unstructured":"Courcelle, B. \u201cInfinite Trees in Normal Form and Recursive Equations Having a Unique Solution\u201d in Mathematical Systems Theory 13, 131\u2013180. Springer-Verlag 1979.","journal-title":"Mathematical Systems Theory"},{"key":"24_CR4","doi-asserted-by":"crossref","unstructured":"Courcelle, B. \u201cFundamental Properties of Infinite Trees\u201d in Theoretical Computer Science Vol 25 No 1, North-Holland 1983.","DOI":"10.1016\/0304-3975(83)90059-2"},{"key":"24_CR5","doi-asserted-by":"crossref","unstructured":"Mairson, H.G. \u201cDecidability of ML Typing is Complete for Deterministic Exponential Time\u201d in Proceedings of POPL'90, ACM 1990.","DOI":"10.1145\/96709.96748"},{"key":"24_CR6","doi-asserted-by":"crossref","unstructured":"Milner, R. \u201cA Theory of Type Polymorphism in Programming Languages\u201d in Journal of Computer and Systems Sciences 17, 1978.","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"24_CR7","doi-asserted-by":"crossref","unstructured":"Reynolds, J.C. \u201cThree approaches to type structure\u201d in Mathematical Foundations of Software Development, LNCS Vol 185, Springer-Verlag, 1985.","DOI":"10.1007\/3-540-15198-2_7"},{"key":"24_CR8","doi-asserted-by":"crossref","unstructured":"Schmidt, E.M. & Schwartzbach, M.I. \u201cAn Imperative Type Hierarchy with Partial Products\u201d in Proceedings of MFCS'89, LNCS Vol 379, Springer-Verlag, 1989.","DOI":"10.1007\/3-540-51486-4_92"},{"key":"24_CR9","doi-asserted-by":"crossref","unstructured":"Schwartzbach, M.I. \u201cInfinite Values in Hierarchical Imperative Types\u201d in Proceedings of CAAP'90, LNCS Vol 431, Springer-Verlag, 1990.","DOI":"10.1007\/3-540-52590-4_53"},{"key":"24_CR10","unstructured":"Schwartzbach, M.I. \u201cStatic Correctness of Hierarchical Procedures\u201d in Proc. of ICALP'90, LNCS Vol 443, Springer-Verlag, 1990."},{"key":"24_CR11","doi-asserted-by":"crossref","unstructured":"Schwartzbach, M.I. & Schmidt, E.M. \u201cTypes and Automata\u201d. PB-316, Department of Computer Science, Aarhus University, 1990.","DOI":"10.7146\/dpb.v19i316.6706"}],"container-title":["Lecture Notes in Computer Science","TAPSOFT '91"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-53982-4_24.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,31]],"date-time":"2021-12-31T03:34:31Z","timestamp":1640921671000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-53982-4_24"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540539827","9783540465638"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/3-540-53982-4_24","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}