{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:46:11Z","timestamp":1772163971658,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,10,12]],"date-time":"2005-10-12T00:00:00Z","timestamp":1129075200000},"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,10,12]]},"DOI":"10.1145\/1094811.1094814","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T12:34:39Z","timestamp":1131366879000},"page":"21-40","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Generalized algebraic data types and object-oriented programming"],"prefix":"10.1145","author":[{"given":"Andrew","family":"Kennedy","sequence":"first","affiliation":[{"name":"Microsoft Research Ltd., Cambridge, United Kingdom"}]},{"given":"Claudio V.","family":"Russo","sequence":"additional","affiliation":[{"name":"Microsoft Research Ltd., Cambridge, United Kingdom"}]}],"member":"320","published-online":{"date-parts":[[2005,10,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/280474"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.5555\/230849.230854"},{"key":"e_1_3_2_1_4_1","volume-title":"Proceedings of the 1992 Workshop on Types for Proofs and Programs","author":"Coquand T.","year":"1992","unstructured":"T. Coquand . Pattern matching with dependent types . In Proceedings of the 1992 Workshop on Types for Proofs and Programs , 1992 . T. Coquand. Pattern matching with dependent types. In Proceedings of the 1992 Workshop on Types for Proofs and Programs, 1992."},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796801004282"},{"key":"e_1_3_2_1_6_1","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"Gamma E.","year":"1995","unstructured":"E. Gamma , R. Helm , R. Johnson , and J. Vlissides . Design Patterns: Elements of Reusable Object-Oriented Software . Addison-Wesley Professional Computing Series. Addison-Wesley Publishing Company , New York, NY, 1995 . E. Gamma, R. Helm, R. Johnson, and J. Vlissides. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Professional Computing Series. Addison-Wesley Publishing Company, New York, NY, 1995."},{"key":"e_1_3_2_1_7_1","volume-title":"C# version 2.0 specification","author":"Hejlsberg A.","year":"2005","unstructured":"A. Hejlsberg , S. Wiltamuth , and P. Golde . C# version 2.0 specification , 2005 . Available from http:\/\/msdn.microsoft.com\/vcsharp\/team\/language\/default.aspx. A. Hejlsberg, S. Wiltamuth, and P. Golde. C# version 2.0 specification, 2005. Available from http:\/\/msdn.microsoft.com\/vcsharp\/team\/language\/default.aspx."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-349-91518-7_12"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/320384.320395"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1002\/cpe.v16:7"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/378795.378797"},{"key":"e_1_3_2_1_12_1","unstructured":"E. Meijer November 2004. Presentation to IFIP WG 2.8 (private communication).  E. Meijer November 2004. Presentation to IFIP WG 2.8 (private communication)."},{"key":"e_1_3_2_1_13_1","volume-title":"The Scala language specification","author":"Odersky M.","year":"2005","unstructured":"M. Odersky , P. Altherr , V. Cremet , B. Emir , S. Micheloud , N. Mihaylov , M. Schinz , E. Stenman , and M. Zenger . The Scala language specification , 2005 . Available from http:\/\/scala.epfl.ch\/. M. Odersky, P. Altherr, V. Cremet, B. Emir, S. Micheloud, N. Mihaylov, M. Schinz, E. Stenman, and M. Zenger. The Scala language specification, 2005. Available from http:\/\/scala.epfl.ch\/."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263715"},{"key":"e_1_3_2_1_16_1","volume-title":"March","author":"Peyton Jones S.","year":"2005","unstructured":"S. Peyton Jones The ghc compiler version 6.4 , March 2005 . Download at http:\/\/haskell.org\/ghc. S. Peyton Jones et al. The ghc compiler version 6.4, March 2005. Download at http:\/\/haskell.org\/ghc."},{"key":"e_1_3_2_1_17_1","volume-title":"Draft","author":"Peyton Jones S.","year":"2004","unstructured":"S. Peyton Jones , G. Washburn , and S. Weirich . Wobbly types: type inference for generalised algebraic data types . Draft , July 2004 . S. Peyton Jones, G. Washburn, and S. Weirich. Wobbly types: type inference for generalised algebraic data types. Draft, July 2004."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/964001.964009"},{"key":"e_1_3_2_1_19_1","unstructured":"P. Sestoft. Representing typed expressions December 2001. Code sample in http:\/\/www.dina.kvl.dk\/~sestoft\/gcsharp\/#expr.  P. Sestoft. Representing typed expressions December 2001. Code sample in http:\/\/www.dina.kvl.dk\/~sestoft\/gcsharp\/#expr."},{"key":"e_1_3_2_1_20_1","volume-title":"C# Precisely","author":"Sestoft P.","year":"2004","unstructured":"P. Sestoft and H. I. Hansen . C# Precisely . MIT Press , October 2004 . P. Sestoft and H. I. Hansen. C# Precisely. MIT Press, October 2004."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028664.1028711"},{"key":"e_1_3_2_1_22_1","volume-title":"Fourth International Workshop on Logical Frameworks and Meta-languages (LFM'04)","author":"Sheard T.","year":"2004","unstructured":"T. Sheard and E. Pasalic . Meta-programming with built-in type equality . In Fourth International Workshop on Logical Frameworks and Meta-languages (LFM'04) , July 2004 . T. Sheard and E. Pasalic. Meta-programming with built-in type equality. In Fourth International Workshop on Logical Frameworks and Meta-languages (LFM'04), July 2004."},{"key":"e_1_3_2_1_24_1","unstructured":"S. Weirich. Type-checker to generate typed term from untyped source September 2004. Response to challenge at Dagstuhl'04 set by Lennart Augustsson. In ghc regression suite (tc.hs).  S. Weirich. Type-checker to generate typed term from untyped source September 2004. Response to challenge at Dagstuhl'04 set by Lennart Augustsson. In ghc regression suite (tc.hs)."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/604131.604150"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/507635.507665"}],"event":{"name":"OOPSLA05: ACM SIGPLAN Object Oriented Programming Systems and Applications Conference","location":"San Diego CA USA","acronym":"OOPSLA05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 20th annual ACM SIGPLAN conference on Object-oriented programming, systems, languages, and applications"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1094811.1094814","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1094811.1094814","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:22:13Z","timestamp":1750263733000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1094811.1094814"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2005,10,12]]},"references-count":23,"alternative-id":["10.1145\/1094811.1094814","10.1145\/1094811"],"URL":"https:\/\/doi.org\/10.1145\/1094811.1094814","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1103845.1094814","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,10,12]]},"assertion":[{"value":"2005-10-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}