{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:30:29Z","timestamp":1750307429153,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":26,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,26]],"date-time":"2010-09-26T00:00:00Z","timestamp":1285459200000},"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":[[2010,9,26]]},"DOI":"10.1145\/1863495.1863505","type":"proceedings-article","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T17:41:50Z","timestamp":1285695710000},"page":"73-84","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Ad-hoc polymorphism and dynamic typing in a statically typed functional language"],"prefix":"10.1145","author":[{"given":"Thomas","family":"van Noort","sequence":"first","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, Netherlands"}]},{"given":"Peter","family":"Achten","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, Netherlands"}]},{"given":"Rinus","family":"Plasmeijer","sequence":"additional","affiliation":[{"name":"Radboud University Nijmegen, Nijmegen, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2010,9,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103138"},{"issue":"1","key":"e_1_3_2_1_2_1","first-page":"81","article-title":"Dynamic typing in polymorphic languages","volume":"5","author":"Abadi Mart\u00edn","year":"1994","unstructured":"}} Mart\u00edn Abadi , Luca Cardelli , Benjamin Pierce , Didier R\u00e9my , and Robert Taylor . Dynamic typing in polymorphic languages . Journal of Functional Programming , 5 ( 1 ): 81 -- 110 , 1994 . }}Mart\u00edn Abadi, Luca Cardelli, Benjamin Pierce, Didier R\u00e9my, and Robert Taylor. Dynamic typing in polymorphic languages. Journal of Functional Programming, 5(1):81--110, 1994.","journal-title":"Journal of Functional Programming"},{"key":"e_1_3_2_1_3_1","unstructured":"}}Peter Achten. Clean for Haskell 98 programmers - A quick reference guide. http:\/\/www.st.cs.ru.nl\/papers\/2007\/achp2007-CleanHaskellQuickGuide.pdf 2007.  }}Peter Achten. Clean for Haskell 98 programmers - A quick reference guide. http:\/\/www.st.cs.ru.nl\/papers\/2007\/achp2007-CleanHaskellQuickGuide.pdf 2007."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/581478.581494"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581698"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863530"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.5555\/645387.651547"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/186025.186031"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800000848"},{"key":"e_1_3_2_1_10_1","volume-title":"Proceedings of the 1st International Workshop on Revival of Dynamic Languages, OOPSLA '04","author":"Meijer Erik","year":"2004","unstructured":"}} Erik Meijer and Peter Drayton . Static typing where possible, dynamic typing when needed: the end of the cold war between programming languages. In Roel Wuyts, editor , Proceedings of the 1st International Workshop on Revival of Dynamic Languages, OOPSLA '04 , Vancouver, BC, Canada. ACM Press , 2004 . }}Erik Meijer and Peter Drayton. Static typing where possible, dynamic typing when needed: the end of the cold war between programming languages. In Roel Wuyts, editor, Proceedings of the 1st International Workshop on Revival of Dynamic Languages, OOPSLA '04, Vancouver, BC, Canada. ACM Press, 2004."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237729"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/155090.155112"},{"key":"e_1_3_2_1_13_1","volume-title":"Haskell 98 language and libraries: the revised report","author":"Jones Simon Peyton","year":"2003","unstructured":"}} Simon Peyton Jones . Haskell 98 language and libraries: the revised report . Cambridge University Press , 2003 . }}Simon Peyton Jones. Haskell 98 language and libraries: the revised report. Cambridge University Press, 2003."},{"key":"e_1_3_2_1_14_1","volume-title":"Proceedings of the 2nd Haskell Workshop, Haskell '97","author":"Jones Simon Peyton","year":"1997","unstructured":"}} Simon Peyton Jones , Mark Jones , and Erik Meijer . Type classes: an exploration of the design space. In John Launchbury, editor , Proceedings of the 2nd Haskell Workshop, Haskell '97 , Amsterdam, The Netherlands. ACM Press , 1997 . }}Simon Peyton Jones, Mark Jones, and Erik Meijer. Type classes: an exploration of the design space. In John Launchbury, editor, Proceedings of the 2nd Haskell Workshop, Haskell '97, Amsterdam, The Netherlands. ACM Press, 1997."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159811"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006034"},{"key":"e_1_3_2_1_17_1","volume-title":"Journal of Functional Programming","author":"Jones Simon Peyton","year":"2010","unstructured":"}} Simon Peyton Jones , Dimitrios Vytiniotis , Tom Schrijvers , and Martin Suzmann . Modular type inference with local assumptions . Journal of Functional Programming , 2010 . Under consideration for publication. }}Simon Peyton Jones, Dimitrios Vytiniotis, Tom Schrijvers, and Martin Suzmann. Modular type inference with local assumptions. Journal of Functional Programming, 2010. Under consideration for publication."},{"key":"e_1_3_2_1_18_1","series-title":"Lecture Notes in Computer Science","first-page":"233","volume-title":"Selected Papers of the 8th International Workshop on Implementation of Functional Languages, IFL '97, St.","author":"Pil Marco","year":"1997","unstructured":"}} Marco Pil . First class file I\/O . In Chris Clack, Kevin Hammond, and Antony Davie, editors, Selected Papers of the 8th International Workshop on Implementation of Functional Languages, IFL '97, St. Andrews, UK , volume 1467 of Lecture Notes in Computer Science , pages 233 -- 246 . Springer-Verlag , 1997 . }}Marco Pil. First class file I\/O. In Chris Clack, Kevin Hammond, and Antony Davie, editors, Selected Papers of the 8th International Workshop on Implementation of Functional Languages, IFL '97, St. Andrews, UK, volume 1467 of Lecture Notes in Computer Science, pages 233--246. Springer-Verlag, 1997."},{"key":"e_1_3_2_1_19_1","series-title":"Lecture Notes in Computer Science","first-page":"169","volume-title":"Selected Papers of the 10th International Workshop on the Implementation of Functional Languages, IFL '98","author":"Pil Marco","year":"1999","unstructured":"}} Marco Pil . Dynamic types and type dependent functions . In Kevin Hammond, Tony Davie, and Chris Clack, editors, Selected Papers of the 10th International Workshop on the Implementation of Functional Languages, IFL '98 , London, UK , volume 1595 of Lecture Notes in Computer Science , pages 169 -- 185 . Springer-Verlag , 1999 . }}Marco Pil. Dynamic types and type dependent functions. In Kevin Hammond, Tony Davie, and Chris Clack, editors, Selected Papers of the 10th International Workshop on the Implementation of Functional Languages, IFL '98, London, UK, volume 1595 of Lecture Notes in Computer Science, pages 169--185. Springer-Verlag, 1999."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1007\/11546382_6"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96746"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006137"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040294.1040296"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-89330-1_14"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1007\/11431664_10"}],"event":{"name":"ICFP '10: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Baltimore Maryland USA","acronym":"ICFP '10"},"container-title":["Proceedings of the 6th ACM SIGPLAN workshop on Generic programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1863495.1863505","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1863495.1863505","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T11:39:52Z","timestamp":1750246792000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1863495.1863505"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,26]]},"references-count":26,"alternative-id":["10.1145\/1863495.1863505","10.1145\/1863495"],"URL":"https:\/\/doi.org\/10.1145\/1863495.1863505","relation":{},"subject":[],"published":{"date-parts":[[2010,9,26]]},"assertion":[{"value":"2010-09-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}