{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:14Z","timestamp":1772163974202,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":30,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,9,16]]},"DOI":"10.1145\/1159803.1159836","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T18:04:00Z","timestamp":1161194640000},"page":"239-250","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":21,"title":["Extensible programming with first-class cases"],"prefix":"10.1145","author":[{"given":"Matthias","family":"Blume","sequence":"first","affiliation":[{"name":"Toyota Technological Institute at Chicago"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Umut A.","family":"Acar","sequence":"additional","affiliation":[{"name":"Toyota Technological Institute at Chicago"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Wonseok","family":"Chae","sequence":"additional","affiliation":[{"name":"Toyota Technological Institute at Chicago"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2006,9,16]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Compiling with continuations","author":"Appel A.W.","year":"1992","unstructured":"A.W. Appel . Compiling with continuations . Cambridge University Press , New York, NY, USA , 1992 . A.W. Appel. Compiling with continuations. Cambridge University Press, New York, NY, USA, 1992."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/3-540-54444-5_83"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263743"},{"key":"e_1_3_2_1_4_1","volume-title":"Electronic notes in Theoretical Computer Science","author":"Bruce K.","unstructured":"K. Bruce . Some challenging typing issues in object-oriented languages . In Electronic notes in Theoretical Computer Science , volume 82(8), 2003 . K. Bruce. Some challenging typing issues in object-oriented languages. In Electronic notes in Theoretical Computer Science, volume 82(8), 2003."},{"key":"e_1_3_2_1_5_1","first-page":"295","volume-title":"Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design","author":"Cardelli L.","year":"1994","unstructured":"L. Cardelli and J.C. Mitchell . Operations on records . In C.A. Gunter and J.C. Mitchell, editors, Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design , pages 295 -- 350 . The MIT Press , Cambridge, MA , 1994 . L. Cardelli and J.C. Mitchell. Operations on records. In C.A. Gunter and J.C. Mitchell, editors, Theoretical Aspects of Object-Oriented Programming: Types, Semantics, and Language Design, pages 295--350. The MIT Press, Cambridge, MA, 1994."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/291251.289432"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155113"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113468"},{"key":"e_1_3_2_1_10_1","volume-title":"ACM SIGPLAN Workshop on ML","author":"Garrigue J.","year":"1998","unstructured":"J. Garrigue . Programming with polymorphic variants . In ACM SIGPLAN Workshop on ML , 1998 . J. Garrigue. Programming with polymorphic variants. In ACM SIGPLAN Workshop on ML, 1998."},{"key":"e_1_3_2_1_11_1","volume-title":"Workshop on Foundations of Software Engineering","author":"Garrigue J.","year":"2000","unstructured":"J. Garrigue . Code reuse through polymorphic variants . In Workshop on Foundations of Software Engineering , Nov. 2000 . J. Garrigue. Code reuse through polymorphic variants. In Workshop on Foundations of Software Engineering, Nov. 2000."},{"key":"e_1_3_2_1_13_1","volume-title":"July","author":"Gowani K.","year":"2005","unstructured":"K. Gowani and M. Blume . Writing a garbage collector for the MLPolyR compiler , July 2005 . Final report on independent study project in the CSPP program. K. Gowani and M. Blume. Writing a garbage collector for the MLPolyR compiler, July 2005. Final report on independent study project in the CSPP program."},{"key":"e_1_3_2_1_15_1","volume-title":"Lightweight extensible records for Haskell","author":"Jones M.P.","year":"1999","unstructured":"M.P. Jones and S.P. Jones . Lightweight extensible records for Haskell , 1999 . M.P. Jones and S.P. Jones. Lightweight extensible records for Haskell, 1999."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/646155.679709"},{"key":"e_1_3_2_1_17_1","volume-title":"http:\/\/caml.inria.fr\/pub\/ml-archives\/caml-list\/,Jan","author":"Leroy X.","year":"2005","unstructured":"X. Leroy . {caml-list} cyclic types. http:\/\/caml.inria.fr\/pub\/ml-archives\/caml-list\/,Jan . 2005 . X. Leroy. {caml-list} cyclic types. http:\/\/caml.inria.fr\/pub\/ml-archives\/caml-list\/,Jan. 2005."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581489"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.5555\/549659"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/290229.290234"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263715"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99393"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/143165.143200"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/218570.218572"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1096-9942(1998)4:1%3C27::AID-TAPO3%3E3.0.CO;2-4"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/231379.231412"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"crossref","unstructured":"M.\n      Torgersen\n    .\n  The expression problem revisited: Four new solutions using generics\n  . In M. Odersky editor ECOOP \n  2004\n  -Object-Oriented Programming 18th European Conference Oslo Norway Proceedings volume \n  3086\n   of \n  LNCS pages \n  123\n  --\n  143 New York NY July 2004. \n  Springer-Verlag\n  .  M. Torgersen. The expression problem revisited: Four new solutions using generics. In M. Odersky editor ECOOP 2004-Object-Oriented Programming 18th European Conference Oslo Norway Proceedings volume 3086 of LNCS pages 123--143 New York NY July 2004. Springer-Verlag.","DOI":"10.1007\/978-3-540-24851-4_6"},{"key":"e_1_3_2_1_30_1","volume-title":"Dec.","author":"Wadler P.","year":"1998","unstructured":"P. Wadler . The expression problem. Email to the Java Genericity mailing list , Dec. 1998 . P. Wadler. The expression problem. Email to the Java Genericity mailing list, Dec. 1998."},{"key":"e_1_3_2_1_31_1","volume-title":"Proceedings of the IEEE Symposium on Logic in Computer Science","author":"Wand M.","year":"1987","unstructured":"M. Wand . Complete type inference for simple objects . In Proceedings of the IEEE Symposium on Logic in Computer Science , Ithaca, NY , June 1987 . M. Wand. Complete type inference for simple objects. In Proceedings of the IEEE Symposium on Logic in Computer Science, Ithaca, NY, June 1987."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90050-C"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507665"},{"key":"e_1_3_2_1_34_1","volume-title":"The 12th International Workshop on Foundations of Object-Oriented Languages (FOOL 12)","author":"Zenger M.","year":"2005","unstructured":"M. Zenger and M. Odersky . Independently extensible solutions to the expression problem . In The 12th International Workshop on Foundations of Object-Oriented Languages (FOOL 12) , Long Beach, California , 2005 . ACM. M. Zenger and M. Odersky. Independently extensible solutions to the expression problem. In The 12th International Workshop on Foundations of Object-Oriented Languages (FOOL 12), Long Beach, California, 2005. ACM."}],"event":{"name":"ICFP06: ACM SIGPLAN International Conference on Functional Programming","location":"Portland Oregon USA","acronym":"ICFP06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the eleventh ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1159803.1159836","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T16:03:49Z","timestamp":1693843429000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1159803.1159836"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,16]]},"references-count":30,"alternative-id":["10.1145\/1159803.1159836","10.1145\/1159803"],"URL":"https:\/\/doi.org\/10.1145\/1159803.1159836","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1160074.1159836","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2006,9,16]]},"assertion":[{"value":"2006-09-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}