{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,18]],"date-time":"2025-11-18T12:07:55Z","timestamp":1763467675196,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":33,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,1,10]],"date-time":"2005-01-10T00:00:00Z","timestamp":1105315200000},"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":[[2005,1,10]]},"DOI":"10.1145\/1040294.1040296","type":"proceedings-article","created":{"date-parts":[[2005,1,30]],"date-time":"2005-01-30T17:55:16Z","timestamp":1107107716000},"page":"13-24","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":15,"title":["An open and shut typecase"],"prefix":"10.1145","author":[{"given":"Dimitrios","family":"Vytiniotis","sequence":"first","affiliation":[{"name":"University of Pennsylvania"}]},{"given":"Geoffrey","family":"Washburn","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}]},{"given":"Stephanie","family":"Weirich","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}]}],"member":"320","published-online":{"date-parts":[[2005,1,10]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103138"},{"key":"e_1_3_2_1_3_1","series-title":"Yellow Series Report No","volume-title":"About Charity","author":"Cockett R.","year":"1992","unstructured":"R. Cockett and T. Fukushima . About Charity . Yellow Series Report No . 92\/480\/18, Department of Computer Science, The University of Calgary , June 1992 . R. Cockett and T. Fukushima. About Charity. Yellow Series Report No. 92\/480\/18, Department of Computer Science, The University of Calgary, June 1992."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317906"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796801004282"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604151"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-45070-2_8"},{"key":"e_1_3_2_1_8_1","volume-title":"ML Workshop","author":"Garrigue J.","year":"1998","unstructured":"J. Garrigue . Programming with polymorphic variants . In ML Workshop , Sept. 1998 . J. Garrigue. Programming with polymorphic variants. In ML Workshop, Sept. 1998."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317797"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/371880.371887"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.176927"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199475"},{"key":"e_1_3_2_1_14_1","volume-title":"Science of Computer Programming, 43(2--3):129--159","author":"Hinze R.","year":"2002","unstructured":"R. Hinze . Polytypic values possess polykinded types. Science of Computer Programming, 43(2--3):129--159 , 2002 . MPC Special Issue . R. Hinze. Polytypic values possess polykinded types. Science of Computer Programming, 43(2--3):129--159, 2002. MPC Special Issue."},{"key":"e_1_3_2_1_15_1","volume-title":"Proceedings of the Fourth Haskell Workshop","volume":"41","author":"Hinze R.","year":"2000","unstructured":"R. Hinze and S. Peyton Jones . Derivable type classes. In G. Hutton, editor , Proceedings of the Fourth Haskell Workshop , Montreal, Canada , September 17, 2000 , volume 41 .1 of Electronic Notes in Theoretical Computer Science. Elsevier Science, Aug. 2000. R. Hinze and S. Peyton Jones. Derivable type classes. In G. Hutton, editor, Proceedings of the Fourth Haskell Workshop, Montreal, Canada, September 17, 2000, volume 41.1 of Electronic Notes in Theoretical Computer Science. Elsevier Science, Aug. 2000."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796802004410"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263763"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1007\/s100090050037"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796898003128"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604179"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944714"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944719"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"crossref","DOI":"10.7551\/mitpress\/2319.001.0001","volume-title":"The Definition of Standard ML (Revised)","author":"Milner R.","year":"1997","unstructured":"R. Milner , M. Tofte , R. Harper , and D. MacQueen . The Definition of Standard ML (Revised) . The MIT Press , Cambridge, Massachusetts , 1997 . R. Milner, M. Tofte, R. Harper, and D. MacQueen. The Definition of Standard ML (Revised). The MIT Press, Cambridge, Massachusetts, 1997."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224182"},{"key":"e_1_3_2_1_25_1","volume-title":"Haskell 98 Language and Libraries: The Revised Report","author":"Jones S. Peyton","year":"2003","unstructured":"S. Peyton Jones , editor. Haskell 98 Language and Libraries: The Revised Report . Cambridge University Press , 2003 . S. Peyton Jones, editor. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, 2003."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75284"},{"key":"e_1_3_2_1_27_1","volume-title":"Theoretical Aspects Of Object-Oriented Programming. Types, Semantics and Language Design","author":"R\u00e9my D.","year":"1993","unstructured":"D. R\u00e9my . Type inference for records in a natural extension of ML. In C. A. Gunter and J. C. Mitchell, editors, Theoretical Aspects Of Object-Oriented Programming. Types, Semantics and Language Design . MIT Press , 1993 . D. R\u00e9my. Type inference for records in a natural extension of ML. In C. A. Gunter and J. C. Mitchell, editors, Theoretical Aspects Of Object-Oriented Programming. Types, Semantics and Language Design. MIT Press, 1993."},{"volume-title":"Information Processing '83, pages 513--523. North-Holland, 1983. Proceedings of the IFIP 9th World Computer Congress.","author":"Reynolds J. C.","key":"e_1_3_2_1_28_1","unstructured":"J. C. Reynolds . Types, abstraction and parametric polymorphism . In Information Processing '83, pages 513--523. North-Holland, 1983. Proceedings of the IFIP 9th World Computer Congress. J. C. Reynolds. Types, abstraction and parametric polymorphism. In Information Processing '83, pages 513--523. North-Holland, 1983. Proceedings of the IFIP 9th World Computer Congress."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/888251.888274"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325724"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351248"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604187"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"},{"key":"e_1_3_2_1_35_1","first-page":"98","volume-title":"11th European Symposium on Programming","author":"Weirich S.","year":"2002","unstructured":"S. Weirich . Higher-order intensional type analysis. In D. L. M\u00e9tayer, editor , 11th European Symposium on Programming , pages 98 -- 114 , Grenoble, France , 2002 . S. Weirich. Higher-order intensional type analysis. In D. L. M\u00e9tayer, editor, 11th European Symposium on Programming, pages 98--114, Grenoble, France, 2002."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1093"}],"event":{"name":"TLDI05: International Workshop on Types in Language Design and Implementation 2005","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Long Beach California USA","acronym":"TLDI05"},"container-title":["Proceedings of the 2005 ACM SIGPLAN international workshop on Types in languages design and implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1040294.1040296","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1040294.1040296","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:31:46Z","timestamp":1750264306000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1040294.1040296"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,1,10]]},"references-count":33,"alternative-id":["10.1145\/1040294.1040296","10.1145\/1040294"],"URL":"https:\/\/doi.org\/10.1145\/1040294.1040296","relation":{},"subject":[],"published":{"date-parts":[[2005,1,10]]},"assertion":[{"value":"2005-01-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}