{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,11]],"date-time":"2025-10-11T17:09:36Z","timestamp":1760202576863},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540691631"},{"type":"electronic","value":"9783540691662"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-3-540-69166-2_10","type":"book-chapter","created":{"date-parts":[[2008,7,13]],"date-time":"2008-07-13T09:25:03Z","timestamp":1215941103000},"page":"144-158","source":"Crossref","is-referenced-by-count":2,"title":["On Polymorphic Recursion, Type Systems, and Abstract Interpretation"],"prefix":"10.1007","author":[{"given":"Marco","family":"Comini","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Ferruccio","family":"Damiani","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Samuel","family":"Vrech","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"10_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"194","DOI":"10.1007\/BFb0022505","volume-title":"Mathematical Foundations of Computer Science 1980","author":"M. Coppo","year":"1980","unstructured":"Coppo, M.: An extended polymorphic type system. In: Dembinski, P. (ed.) MFCS 1980. LNCS, vol.\u00a088, pp. 194\u2013204. Springer, Heidelberg (1980)"},{"key":"10_CR2","doi-asserted-by":"publisher","first-page":"316","DOI":"10.1145\/263699.263744","volume-title":"POPL 1997","author":"P. Cousot","year":"1997","unstructured":"Cousot, P.: Types as abstract interpretations. In: POPL 1997, pp. 316\u2013331. ACM, New York (1997)"},{"key":"10_CR3","doi-asserted-by":"publisher","first-page":"207","DOI":"10.1145\/582153.582176","volume-title":"POPL 1982","author":"L.M.M. Damas","year":"1982","unstructured":"Damas, L.M.M., Milner, R.: Principal type schemas for functional programs. In: POPL 1982, pp. 207\u2013212. ACM, New York (1982)"},{"issue":"4","key":"10_CR4","doi-asserted-by":"publisher","first-page":"401","DOI":"10.1145\/778559.778560","volume":"25","author":"F. Damiani","year":"2003","unstructured":"Damiani, F.: Rank 2 intersection types for local definitions and conditional expressions. ACM Trans.\u00a0Prog.\u00a0Lang.\u00a0Syst.\u00a025(4), 401\u2013451 (2003)","journal-title":"ACM Trans.\u00a0Prog.\u00a0Lang.\u00a0Syst."},{"issue":"4","key":"10_CR5","first-page":"451","volume":"77","author":"F. Damiani","year":"2007","unstructured":"Damiani, F.: Rank 2 Intersection for Recursive Definitions. Fundam. Inform. 77(4), 451\u2013488 (2007); (Special Issue on TLCA 2005)","journal-title":"Fundam. Inform."},{"key":"10_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"225","DOI":"10.1007\/3-540-47813-2_16","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"R. Gori","year":"2002","unstructured":"Gori, R., Levi, G.: An experiment in type inference and verification by abstract interpretation. In: Cortesi, A. (ed.) VMCAI 2002. LNCS, vol.\u00a02294, pp. 225\u2013239. Springer, Heidelberg (2002)"},{"key":"10_CR7","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"132","DOI":"10.1007\/3-540-36384-X_13","volume-title":"Verification, Model Checking, and Abstract Interpretation","author":"R. Gori","year":"2002","unstructured":"Gori, R., Levi, G.: Properties of a type abstract interpreter. In: Zuck, L.D., Attie, P.C., Cortesi, A., Mukhopadhyay, S. (eds.) VMCAI 2003. LNCS, vol.\u00a02575, pp. 132\u2013145. Springer, Heidelberg (2002)"},{"issue":"2","key":"10_CR8","doi-asserted-by":"publisher","first-page":"253","DOI":"10.1145\/169701.169692","volume":"15","author":"F. Henglein","year":"1993","unstructured":"Henglein, F.: Type inference with polymorphic recursion. ACM Trans.\u00a0Prog.\u00a0Lang.\u00a0Syst.\u00a015(2), 253\u2013289 (1993)","journal-title":"ACM Trans.\u00a0Prog.\u00a0Lang.\u00a0Syst."},{"key":"10_CR9","series-title":"Cambridge Tracts in Theoretical Computer Science","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511608865","volume-title":"Basic Simple Type Theory","author":"R. Hindley","year":"1997","unstructured":"Hindley, R.: Basic Simple Type Theory. Cambridge Tracts in Theoretical Computer Science, vol.\u00a042. Cambridge University Press, London (1997)"},{"key":"10_CR10","doi-asserted-by":"publisher","first-page":"42","DOI":"10.1145\/237721.237728","volume-title":"POPL 1996","author":"T. Jim","year":"1996","unstructured":"Jim, T.: What are principal typings and what are they good for?. In: POPL 1996, pp. 42\u201353. ACM, New York (1996)"},{"key":"10_CR11","first-page":"119","volume-title":"LICS 1999","author":"A.J. Kfoury","year":"1999","unstructured":"Kfoury, A.J., Pericas-Geertsen, S.M.: Type inference for recursive definitions. In: LICS 1999, pp. 119\u2013128. IEEE, Los Alamitos (1999)"},{"issue":"2","key":"10_CR12","doi-asserted-by":"publisher","first-page":"290","DOI":"10.1145\/169701.169687","volume":"15","author":"A.J. Kfoury","year":"1993","unstructured":"Kfoury, A.J., Tiuryn, J., Urzyczyn, P.: Type reconstruction in the presence of polymorphic recursion. ACM Trans.\u00a0Prog.\u00a0Lang.\u00a0Syst.\u00a015(2), 290\u2013311 (1993)","journal-title":"ACM Trans.\u00a0Prog.\u00a0Lang.\u00a0Syst."},{"key":"10_CR13","doi-asserted-by":"publisher","first-page":"265","DOI":"10.1145\/567067.567092","volume-title":"POPL 1983","author":"L. Meertens","year":"1983","unstructured":"Meertens, L.: Incremental polymorphic type checking in B. In: POPL 1983, pp. 265\u2013275. ACM, New York (1983)"},{"key":"10_CR14","first-page":"217","volume":"652","author":"B. Monsuez","year":"1992","unstructured":"Monsuez, B.: Polymorphic typing by abstract interpretation. Theoretical Computer Science\u00a0652, 217\u2013228 (1992)","journal-title":"Theoretical Computer Science"},{"key":"10_CR15","series-title":"Lecture Notes in Computer Science","first-page":"224","volume-title":"Static Analysis","author":"B. Monsuez","year":"1993","unstructured":"Monsuez, B.: Polymorphic types and widening operators. In: Cousot, P., Fil\u00e9, G., Falaschi, M., Rauzy, A. (eds.) WSA 1993. LNCS, vol.\u00a0724, pp. 224\u2013281. Springer, Heidelberg (1993)"},{"key":"10_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/3-540-12925-1_41","volume-title":"International Symposium on Programming","author":"A. Mycroft","year":"1984","unstructured":"Mycroft, A.: Polymorphic type schemes and recursive definitions. In: Paul, M., Robinet, B. (eds.) Programming 1984. LNCS, vol.\u00a0167, pp. 217\u2013228. Springer, Heidelberg (1984)"},{"key":"10_CR17","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511530104","volume-title":"Purely Functional Data Structures","author":"C. Okasaki","year":"1998","unstructured":"Okasaki, C.: Purely Functional Data Structures. Cambridge University Press, Cambridge (1998)"},{"key":"10_CR18","first-page":"111","volume-title":"LICS 2006","author":"T. Terauchi","year":"2006","unstructured":"Terauchi, T., Aiken, A.: On typability for polymorphic recursive rank-2 intersection types. In: LICS 2006, pp. 111\u2013122. IEEE, Los Alamitos (2006)"},{"key":"10_CR19","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"913","DOI":"10.1007\/3-540-45465-9_78","volume-title":"Automata, Languages and Programming","author":"J.B. Wells","year":"2002","unstructured":"Wells, J.B.: The essence of principal typings. In: Widmayer, P., Triguero, F., Morales, R., Hennessy, M., Eidenbenz, S., Conejo, R. (eds.) ICALP 2002. LNCS, vol.\u00a02380, pp. 913\u2013925. Springer, Heidelberg (2002)"}],"container-title":["Lecture Notes in Computer Science","Static Analysis"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-69166-2_10.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,3]],"date-time":"2021-05-03T04:30:08Z","timestamp":1620016208000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-69166-2_10"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9783540691631","9783540691662"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-69166-2_10","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[]}}