{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,11]],"date-time":"2026-04-11T02:12:24Z","timestamp":1775873544106,"version":"3.50.1"},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"value":"9783642197178","type":"print"},{"value":"9783642197185","type":"electronic"}],"license":[{"start":{"date-parts":[[2011,1,1]],"date-time":"2011-01-01T00:00:00Z","timestamp":1293840000000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2011]]},"DOI":"10.1007\/978-3-642-19718-5_2","type":"book-chapter","created":{"date-parts":[[2011,3,14]],"date-time":"2011-03-14T14:17:15Z","timestamp":1300112235000},"page":"18-37","source":"Crossref","is-referenced-by-count":9,"title":["Polymorphic Contracts"],"prefix":"10.1007","author":[{"given":"Jo\u00e3o Filipe","family":"Belo","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Michael","family":"Greenberg","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Atsushi","family":"Igarashi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Benjamin C.","family":"Pierce","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"2_CR1","unstructured":"PLT Racket Contracts, \n                  \n                    http:\/\/pre.plt-scheme.org\/docs\/html\/guide\/contracts.html"},{"key":"2_CR2","doi-asserted-by":"crossref","unstructured":"Ahmed, A., Findler, R.B., Matthews, J., Wadler, P.: Blame for all. In: Workshop on Script-to-Program Evolution, STOP (2009)","DOI":"10.1145\/1570506.1570507"},{"key":"2_CR3","doi-asserted-by":"crossref","unstructured":"Ahmed, A., Findler, R.B., Siek, J., Wadler, P.: Blame for all. In: Principles of Programming Languages, POPL (2011)","DOI":"10.1145\/1926385.1926409"},{"issue":"1-2","key":"2_CR4","doi-asserted-by":"publisher","first-page":"273","DOI":"10.1016\/S0304-3975(00)00175-4","volume":"266","author":"D. Aspinall","year":"2001","unstructured":"Aspinall, D., Compagnoni, A.: Subtyping dependent types. Theor. Comput. Sci.\u00a0266(1-2), 273\u2013309 (2001)","journal-title":"Theor. Comput. Sci."},{"key":"2_CR5","doi-asserted-by":"crossref","unstructured":"Findler, R.B., Felleisen, M.: Contracts for higher-order functions. In: International Conference on Functional Programming (ICFP), pp. 48\u201359 (2002)","DOI":"10.1145\/583852.581484"},{"key":"2_CR6","doi-asserted-by":"crossref","unstructured":"Flanagan, C.: Hybrid type checking. In: POPL, pp. 245\u2013256 (2006)","DOI":"10.1145\/1111320.1111059"},{"key":"2_CR7","doi-asserted-by":"crossref","unstructured":"Greenberg, M., Pierce, B.C., Weirich, S.: Contracts made manifest. In: Principles of Programming Languages, POPL 2010 (2010)","DOI":"10.1145\/1706299.1706341"},{"key":"2_CR8","unstructured":"Gronski, J., Flanagan, C.: Unifying hybrid types and contracts. In: Trends in Functional Programming, TFP (2007)"},{"key":"2_CR9","doi-asserted-by":"crossref","unstructured":"Guha, A., Matthews, J., Findler, R.B., Krishnamurthi, S.: Relationally-parametric polymorphic contracts. In: DLS, pp. 29\u201340 (2007)","DOI":"10.1145\/1297081.1297089"},{"key":"2_CR10","doi-asserted-by":"crossref","unstructured":"Knowles, K., Flanagan, C.: Hybrid type checking (2010) (to appear in TOPLAS)","DOI":"10.1145\/1667048.1667051"},{"key":"2_CR11","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"16","DOI":"10.1007\/978-3-540-78739-6_2","volume-title":"Programming Languages and Systems","author":"J. Matthews","year":"2008","unstructured":"Matthews, J., Ahmed, A.: Parametric polymorphism through run-time sealing or, theorems for low, low prices! In: Gairing, M. (ed.) ESOP 2008. LNCS, vol.\u00a04960, pp. 16\u201331. Springer, Heidelberg (2008)"},{"key":"2_CR12","doi-asserted-by":"crossref","unstructured":"Ou, X., Tan, G., Mandelbaum, Y., Walker, D.: Dynamic typing with dependent types. In: IFIP TCS, pp. 437\u2013450 (2004)","DOI":"10.1007\/1-4020-8141-3_34"},{"key":"2_CR13","unstructured":"Pierce, B., Sumii, E.: Relating cryptography and polymorphism (July 2000)"},{"key":"2_CR14","first-page":"245","volume-title":"Advanced Topics in Types and Programming Languages","author":"A.M. Pitts","year":"2005","unstructured":"Pitts, A.M.: Typed operational reasoning. In: Pierce, B.C. (ed.) Advanced Topics in Types and Programming Languages, ch.\u00a07, pp. 245\u2013289. MIT Press, Cambridge (2005)"},{"key":"2_CR15","unstructured":"Siek, J.G., Taha, W.: Gradual typing for functional languages. In: Scheme and Functional Programming Workshop (September 2006)"},{"key":"2_CR16","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"32","DOI":"10.1007\/978-3-642-00590-9_3","volume-title":"Programming Languages and Systems","author":"T.S. Strickland","year":"2009","unstructured":"Strickland, T.S., Tobin-Hochstadt, S., Felleisen, M.: Practical variable-arity polymorphism. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 32\u201346. Springer, Heidelberg (2009)"},{"key":"2_CR17","doi-asserted-by":"crossref","unstructured":"Wadler, P.: Theorems for free! In: Proceedings of ACM Conference on Functional Programming and Computer Architecture (FPCA 1989), pp. 347\u2013359, London, UK (September 1989)","DOI":"10.1145\/99370.99404"},{"key":"2_CR18","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1007\/978-3-642-00590-9_1","volume-title":"Programming Languages and Systems","author":"P. Wadler","year":"2009","unstructured":"Wadler, P., Findler, R.B.: Well-typed programs can\u2019t be blamed. In: Castagna, G. (ed.) ESOP 2009. LNCS, vol.\u00a05502, pp. 1\u201316. Springer, Heidelberg (2009)"},{"key":"2_CR19","doi-asserted-by":"publisher","first-page":"38","DOI":"10.1006\/inco.1994.1093","volume":"115","author":"A.K. Wright","year":"1992","unstructured":"Wright, A.K., Felleisen, M.: A syntactic approach to type soundness. Information and Computation\u00a0115, 38\u201394 (1992)","journal-title":"Information and Computation"}],"container-title":["Lecture Notes in Computer Science","Programming Languages and Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-19718-5_2","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,21]],"date-time":"2019-05-21T10:36:46Z","timestamp":1558435006000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-19718-5_2"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011]]},"ISBN":["9783642197178","9783642197185"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-19718-5_2","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2011]]}}}