{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,5]],"date-time":"2026-02-05T07:54:24Z","timestamp":1770278064978,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":28,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,22]],"date-time":"2007-10-22T00:00:00Z","timestamp":1193011200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2007,10,22]]},"DOI":"10.1145\/1297081.1297089","type":"proceedings-article","created":{"date-parts":[[2007,11,15]],"date-time":"2007-11-15T14:30:20Z","timestamp":1195137020000},"page":"29-40","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":35,"title":["Relationally-parametric polymorphic contracts"],"prefix":"10.1145","author":[{"given":"Arjun","family":"Guha","sequence":"first","affiliation":[{"name":"Brown University, Providence, RI"}]},{"given":"Jacob","family":"Matthews","sequence":"additional","affiliation":[{"name":"University of Chicago, Chicago, IL"}]},{"given":"Robert Bruce","family":"Findler","sequence":"additional","affiliation":[{"name":"University of Chicago, Chicago, IL"}]},{"given":"Shriram","family":"Krishnamurthi","sequence":"additional","affiliation":[{"name":"Brown University, Providence, RI"}]}],"member":"320","published-online":{"date-parts":[[2007,10,22]]},"reference":[{"issue":"9","key":"e_1_3_2_1_1_1","first-page":"23","article-title":"Design by contract","volume":"7","author":"Carrillo-Castellon M.","year":"1996","unstructured":"Carrillo-Castellon , M. , J. Garcia-Molina , E. Pimentel and I. Repiso . Design by contract in Smalltalk. Journal of Object-Oriented Programming , 7 ( 9 ): 23 -- 28 , 1996 . Carrillo-Castellon, M., J. Garcia-Molina, E. Pimentel and I. Repiso. Design by contract in Smalltalk. Journal of Object-Oriented Programming, 7(9):23--28, 1996.","journal-title":"Journal of Object-Oriented Programming"},{"key":"e_1_3_2_1_2_1","unstructured":"Conway D. and C. G. Goebel. Class::Contract -- design-bycontract OO in Perl. search.cpan.org\/?ggoebel\/Class-Contract-1.14.  Conway D. and C. G. Goebel. Class::Contract -- design-bycontract OO in Perl. search.cpan.org\/?ggoebel\/Class-Contract-1.14."},{"key":"e_1_3_2_1_3_1","unstructured":"ECMA. ECMAScript language specification.  ECMA. ECMAScript language specification."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258973"},{"key":"e_1_3_2_1_5_1","unstructured":"Findler Barzilay Blume Codik Felleisen Flatt Huang Matthews McCarthy Scott Press Rainey Reppy Riehl Spiro Tucker and Wick. The eighth annual ICFP programming contest. icfpc.plt-scheme.org\/.  Findler Barzilay Blume Codik Felleisen Flatt Huang Matthews McCarthy Scott Press Rainey Reppy Riehl Spiro Tucker and Wick. The eighth annual ICFP programming contest. icfpc.plt-scheme.org\/."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581484"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11737414_16"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/503209.503240"},{"key":"e_1_3_2_1_9_1","unstructured":"Flapjax Team. Flapjax programming language. www.flapjax-lang.org.  Flapjax Team. Flapjax programming language. www.flapjax-lang.org."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581486"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199475"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11737414_15"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1007\/11737414_18"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/646930.710411"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190220"},{"key":"e_1_3_2_1_16_1","unstructured":"McFarlane K. Design by contract framework. www.codeproject.com\/csharp\/designbycontract.asp.  McFarlane K. Design by contract framework. www.codeproject.com\/csharp\/designbycontract.asp."},{"key":"e_1_3_2_1_17_1","volume-title":"Eiffel: The Language","author":"Meyer B.","year":"1992","unstructured":"Meyer , B. Eiffel: The Language . Prentice Hall , 1992 . Meyer, B. Eiffel: The Language. Prentice Hall, 1992."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_19_1","volume-title":"The Definition of Standard ML","author":"Milner R.","year":"1990","unstructured":"Milner , R. , M. Tofte and R. Harper . The Definition of Standard ML . MIT Press , Cambridge, MA , 1990 . Milner, R., M. Tofte and R. Harper. The Definition of Standard ML. MIT Press, Cambridge, MA, 1990."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/44501.45065"},{"key":"e_1_3_2_1_21_1","volume-title":"Relating cryptography and polymorphism","author":"Pierce B.","year":"2000","unstructured":"Pierce , B. and E. Sumii . Relating cryptography and polymorphism , 2000 . Unpublished manuscript. Pierce, B. and E. Sumii. Relating cryptography and polymorphism, 2000. Unpublished manuscript."},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.5555\/785408.785590"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.5555\/832257.833034"},{"key":"e_1_3_2_1_25_1","first-page":"513","volume-title":"Information Processing 83","author":"Reynolds J. C.","year":"1983","unstructured":"Reynolds , J. C. Types, absraction , and parametric polymorphism . In Information Processing 83 , pages 513 -- 523 , 1983 . Reynolds, J. C. Types, absraction, and parametric polymorphism. In Information Processing 83, pages 513--523, 1983."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1109\/32.341844"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/1176617.1176755"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99404"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317799"}],"event":{"name":"OOPSLA07: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference","location":"Montreal Quebec Canada","acronym":"OOPSLA07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 2007 symposium on Dynamic languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1297081.1297089","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1297081.1297089","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T14:58:27Z","timestamp":1750258707000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1297081.1297089"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10,22]]},"references-count":28,"alternative-id":["10.1145\/1297081.1297089","10.1145\/1297081"],"URL":"https:\/\/doi.org\/10.1145\/1297081.1297089","relation":{},"subject":[],"published":{"date-parts":[[2007,10,22]]},"assertion":[{"value":"2007-10-22","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}