{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:25Z","timestamp":1772164045001,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":21,"publisher":"ACM","license":[{"start":{"date-parts":[[2015,8,30]],"date-time":"2015-08-30T00:00:00Z","timestamp":1440892800000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003246","name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["612.001.213"],"award-info":[{"award-number":["612.001.213"]}],"id":[{"id":"10.13039\/501100003246","id-type":"DOI","asserted-by":"publisher"}]},{"DOI":"10.13039\/501100004836","name":"Det Frie Forskningsr\u00e5d","doi-asserted-by":"publisher","award":["12-132365"],"award-info":[{"award-number":["12-132365"]}],"id":[{"id":"10.13039\/501100004836","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2015,8,30]]},"DOI":"10.1145\/2804302.2804304","type":"proceedings-article","created":{"date-parts":[[2015,8,24]],"date-time":"2015-08-24T10:09:20Z","timestamp":1440410960000},"page":"129-140","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Type families with class, type classes with family"],"prefix":"10.1145","author":[{"given":"Alejandro","family":"Serrano","sequence":"first","affiliation":[{"name":"Utrecht University, Netherlands"}]},{"given":"Jurriaan","family":"Hage","sequence":"additional","affiliation":[{"name":"Utrecht University, Netherlands"}]},{"given":"Patrick","family":"Bahr","sequence":"additional","affiliation":[{"name":"University of Copenhagen, Denmark"}]}],"member":"320","published-online":{"date-parts":[[2015,8,30]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633628.2633635"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S095679681300018X"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034773.2034796"},{"key":"e_1_3_2_1_5_1","volume-title":"Department of Information and Computing Sciences","author":"Dijkstra A.","year":"2007","unstructured":"A. Dijkstra , G. van den Geest , B. Heeren , and S. D. Swierstra . Modelling Scoped Instances with Constraint Handling Rules. Technical report , Department of Information and Computing Sciences , Utrecht University , 2007 . A. Dijkstra, G. van den Geest, B. Heeren, and S. D. Swierstra. Modelling Scoped Instances with Constraint Handling Rules. Technical report, Department of Information and Computing Sciences, Utrecht University, 2007."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535856"},{"key":"e_1_3_2_1_7_1","volume-title":"Technical Report UU-CS-2014-019","author":"Hage J.","year":"2014","unstructured":"J. Hage . DO Main Specific Type Error Diagnosis (DOMSTED). Technical Report UU-CS-2014-019 , Department of Information and Computing Sciences , Utrecht University , 2014 . J. Hage. DOMain Specific Type Error Diagnosis (DOMSTED). Technical Report UU-CS-2014-019, Department of Information and Computing Sciences, Utrecht University, 2014."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30557-6_19"},{"key":"e_1_3_2_1_9_1","volume-title":"A neat trick for partially closed type families.","author":"Izbicki M.","year":"2014","unstructured":"M. Izbicki . A neat trick for partially closed type families. Available at http:\/\/izbicki.me\/blog\/ a-neat-trick-for-partially-closed-type-families, 2014 . M. Izbicki. A neat trick for partially closed type families. Available at http:\/\/izbicki.me\/blog\/ a-neat-trick-for-partially-closed-type-families, 2014."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.5555\/645394.651909"},{"key":"e_1_3_2_1_11_1","volume-title":"May","author":"Kiselyov O.","year":"2015","unstructured":"O. Kiselyov . Stretching type classes. Retrieved from http:\/\/okmij. org\/ftp\/Haskell\/TypeClass.html , May 2015 . O. Kiselyov. Stretching type classes. Retrieved from http:\/\/okmij. org\/ftp\/Haskell\/TypeClass.html, May 2015."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017472.1017488"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863596"},{"key":"e_1_3_2_1_14_1","volume-title":"Haskell Workshop","author":"Jones S. Peyton","year":"1997","unstructured":"S. Peyton Jones , M. Jones , and E. Meijer . Type classes: exploring the design space . In Haskell Workshop , 1997 . S. Peyton Jones, M. Jones, and E. Meijer. Type classes: exploring the design space. In Haskell Workshop, 1997."},{"key":"e_1_3_2_1_15_1","first-page":"251","volume-title":"19th International Symposium on Implementation and Application of Functional Languages","author":"Schrijvers T.","unstructured":"T. Schrijvers , M. Sulzmann , S. Peyton Jones , and M. Chakravarty . Towards open type functions for Haskell. In O. Chitil, editor , 19th International Symposium on Implementation and Application of Functional Languages , pages 233\u2013 251 . Computing Laboratory, University of Kent, 2007. T. Schrijvers, M. Sulzmann, S. Peyton Jones, and M. Chakravarty. Towards open type functions for Haskell. In O. Chitil, editor, 19th International Symposium on Implementation and Application of Functional Languages, pages 233\u2013251. Computing Laboratory, University of Kent, 2007."},{"key":"e_1_3_2_1_16_1","unstructured":"A. Serrano J. Hage and P. Bahr. Type Families with Class Type Classes with Family. Technical report. To appear.  A. Serrano J. Hage and P. Bahr. Type Families with Class Type Classes with Family. Technical report. To appear."},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1108970.1108974"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006137"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796808006758"},{"key":"e_1_3_2_1_20_1","volume-title":"Programming in Idris: A Tutorial. Available from http:\/\/eb.host.cs.st-andrews.ac.uk\/writings\/ idris-tutorial.pdf","author":"Community The Idris","year":"2014","unstructured":"The Idris Community . Programming in Idris: A Tutorial. Available from http:\/\/eb.host.cs.st-andrews.ac.uk\/writings\/ idris-tutorial.pdf , 2014 . The Idris Community. Programming in Idris: A Tutorial. Available from http:\/\/eb.host.cs.st-andrews.ac.uk\/writings\/ idris-tutorial.pdf, 2014."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796811000098"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"}],"event":{"name":"ICFP'15: 20th ACM SIGPLAN International Conference on Functional Programming","location":"Vancouver BC Canada","acronym":"ICFP'15","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 2015 ACM SIGPLAN Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2804302.2804304","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2804302.2804304","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T01:07:09Z","timestamp":1750208829000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2804302.2804304"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015,8,30]]},"references-count":21,"alternative-id":["10.1145\/2804302.2804304","10.1145\/2804302"],"URL":"https:\/\/doi.org\/10.1145\/2804302.2804304","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/2887747.2804304","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2015,8,30]]},"assertion":[{"value":"2015-08-30","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}