{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:23Z","timestamp":1772164043050,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":41,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T00:00:00Z","timestamp":1339372800000},"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":[[2012,6,11]]},"DOI":"10.1145\/2254064.2254070","type":"proceedings-article","created":{"date-parts":[[2012,6,11]],"date-time":"2012-06-11T09:03:31Z","timestamp":1339405411000},"page":"35-44","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["The implicit calculus"],"prefix":"10.1145","author":[{"given":"Bruno C.d.S.","family":"Oliveira","sequence":"first","affiliation":[{"name":"Seoul National University, Seoul, South Korea"}]},{"given":"Tom","family":"Schrijvers","sequence":"additional","affiliation":[{"name":"Universiteit Gent, Gent, Belgium"}]},{"given":"Wontae","family":"Choi","sequence":"additional","affiliation":[{"name":"Seoul National University, Seoul, South Korea"}]},{"given":"Wonchan","family":"Lee","sequence":"additional","affiliation":[{"name":"Seoul National University, Seoul, South Korea"}]},{"given":"Kwangkeun","family":"Yi","sequence":"additional","affiliation":[{"name":"Seoul National University, Seoul, South Korea"}]}],"member":"320","published-online":{"date-parts":[[2012,6,11]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"http:\/\/www.boost.org\/","author":"The Boost","year":"2010","unstructured":"The Boost C++ libraries. http:\/\/www.boost.org\/ , 2010 . The Boost C++ libraries. http:\/\/www.boost.org\/, 2010."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1007\/10705424_3"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086397"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040306"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034796"},{"key":"e_1_3_2_1_6_1","volume-title":"Making implicit parameters explicit. Technical report","author":"Dijkstra A.","year":"2005","unstructured":"A. Dijkstra and S. D. Swierstra . Making implicit parameters explicit. Technical report , Utrecht University , 2005 . A. Dijkstra and S. D. Swierstra. Making implicit parameters explicit. Technical report, Utrecht University, 2005."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111064"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190216.1190229"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/949305.949317"},{"key":"e_1_3_2_1_10_1","volume-title":"Cornerstones in Computing. Palgrave","author":"Gibbons J.","year":"2003","unstructured":"J. Gibbons . Patterns in datatype-generic programming. In The Fun of Programming , Cornerstones in Computing. Palgrave , 2003 . J. Gibbons. Patterns in datatype-generic programming. In The Fun of Programming, Cornerstones in Computing. Palgrave, 2003."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167473.1167499"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80542-0"},{"key":"e_1_3_2_1_13_1","volume-title":"Haskell","author":"Hughes J.","year":"1999","unstructured":"J. Hughes . Restricted data types in Haskell . In Haskell , 1999 . J. Hughes. Restricted data types in Haskell. In Haskell, 1999."},{"key":"e_1_3_2_1_14_1","volume-title":"Polytypic programming","author":"Jansson P.","year":"1996","unstructured":"P. Jansson and J. Jeuring . Polytypic programming . In AFP. Springer-Verlag , 1996 . P. Jansson and J. Jeuring. Polytypic programming. In AFP. Springer-Verlag, 1996."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224198"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/645394.651909"},{"key":"e_1_3_2_1_17_1","volume-title":"Haskell Workshop","author":"Peyton Jones S. L.","year":"1997","unstructured":"S. L. Peyton Jones , M. P. Jones , and E. Meijer . Type classes: exploring the design space . In Haskell Workshop , 1997 . S. L. Peyton Jones, M. P. Jones, and E. Meijer. Type classes: exploring the design space. In Haskell Workshop, 1997."},{"key":"e_1_3_2_1_18_1","volume-title":"Haskell Workshop","author":"Kahl W.","year":"2001","unstructured":"W. Kahl and J. Scheffczyk . Named instances for Haskell type classes . In Haskell Workshop , 2001 . W. Kahl and J. Scheffczyk. Named instances for Haskell type classes. In Haskell Workshop, 2001."},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of IFIP Congress","author":"Kowalski R.","year":"1974","unstructured":"R. Kowalski . Predicate logic as a programming language . In Proceedings of IFIP Congress , 1974 . R. Kowalski. Predicate logic as a programming language. In Proceedings of IFIP Congress, 1974."},{"key":"e_1_3_2_1_20_1","first-page":"2","author":"Kowalski R.","year":"1971","unstructured":"R. Kowalski , Donald, and Kuehner. Linear resolution with selection function. Artificial Intelligence , 2 , 1971 . R. Kowalski, Donald, and Kuehner. Linear resolution with selection function. Artificial Intelligence, 2, 1971.","journal-title":"Artificial Intelligence"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086391"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325708"},{"key":"e_1_3_2_1_23_1","first-page":"13","volume":"88","author":"Musser D.","year":"1988","unstructured":"D. Musser and A. Stepanov . Generic programming. In Symbolic and algebraic computation: ISSAC 88 , pages 13 -- 25 . Springer, 1988 . D. Musser and A. Stepanov. Generic programming. In Symbolic and algebraic computation: ISSAC 88, pages 13--25. Springer, 1988.","journal-title":"Generic programming. In Symbolic and algebraic computation: ISSAC"},{"key":"e_1_3_2_1_24_1","volume-title":"The STL Tutorial and Reference Guide: C++ Programming with the Standard Template Library","author":"Musser D. R.","year":"1995","unstructured":"D. R. Musser and A. Saini . The STL Tutorial and Reference Guide: C++ Programming with the Standard Template Library . Addison Wesley Longman Publishing Co., Inc. , 1995 . D. R. Musser and A. Saini. The STL Tutorial and Reference Guide: C++ Programming with the Standard Template Library. Addison Wesley Longman Publishing Co., Inc., 1995."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/503272.503294"},{"key":"e_1_3_2_1_26_1","volume-title":"July","author":"Odersky M.","year":"2006","unstructured":"M. Odersky . Poor man's type classes. http:\/\/lamp.epfl.ch\/ odersky\/talks\/wg2.8-boston06.pdf , July 2006 . M. Odersky. Poor man's type classes. http:\/\/lamp.epfl.ch\/ odersky\/talks\/wg2.8-boston06.pdf, July 2006."},{"key":"e_1_3_2_1_27_1","volume-title":"The Scala language specification, version 2.8","author":"Odersky M.","year":"2010","unstructured":"M. Odersky . The Scala language specification, version 2.8 2010 . M. Odersky. The Scala language specification, version 2.8 2010."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796810000171"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1869459.1869489"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"crossref","unstructured":"B. C. d. S. Oliveira T. Schrijvers W. Choi W. Lee and K. Yi. Extended report: The implicit calculus. http:\/\/arxiv.org\/abs\/1203.4499 2012.  B. C. d. S. Oliveira T. Schrijvers W. Choi W. Lee and K. Yi. Extended report: The implicit calculus. http:\/\/arxiv.org\/abs\/1203.4499 2012.","DOI":"10.1145\/2254064.2254070"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411301"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411215"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596599"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"crossref","unstructured":"J. Siek. The C++0x Concepts Effort. http:\/\/ecee.colorado. edu\/~siek\/concepts_effort.pdf 2011.  J. Siek. The C++0x Concepts Effort. http:\/\/ecee.colorado. edu\/~siek\/concepts_effort.pdf 2011.","DOI":"10.1007\/978-3-642-32202-0_4"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065021"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2008.09.009"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71067-7_23"},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581495"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/871895.871906"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796811000098"},{"key":"e_1_3_2_1_42_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"}],"event":{"name":"PLDI '12: ACM SIGPLAN Conference on Programming Language Design and Implementation","location":"Beijing China","acronym":"PLDI '12","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 33rd ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2254064.2254070","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2254064.2254070","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T16:00:38Z","timestamp":1750262438000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2254064.2254070"}},"subtitle":["a new foundation for generic programming"],"short-title":[],"issued":{"date-parts":[[2012,6,11]]},"references-count":41,"alternative-id":["10.1145\/2254064.2254070","10.1145\/2254064"],"URL":"https:\/\/doi.org\/10.1145\/2254064.2254070","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2345156.2254070","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2012,6,11]]},"assertion":[{"value":"2012-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}