{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:55:37Z","timestamp":1750308937147,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":25,"publisher":"ACM","license":[{"start":{"date-parts":[[2012,9,12]],"date-time":"2012-09-12T00:00:00Z","timestamp":1347408000000},"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,9,12]]},"DOI":"10.1145\/2364394.2364396","type":"proceedings-article","created":{"date-parts":[[2012,9,12]],"date-time":"2012-09-12T13:01:27Z","timestamp":1347454887000},"page":"1-12","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["A pattern for almost homomorphic functions"],"prefix":"10.1145","author":[{"given":"Nicolas","family":"Frisby","sequence":"first","affiliation":[{"name":"University of Kansas, Lawrence, KS, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andy","family":"Gill","sequence":"additional","affiliation":[{"name":"University of Kansas, Lawrence, KS, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Perry","family":"Alexander","sequence":"additional","affiliation":[{"name":"University of Kansas, Lawrence, KS, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2012,9,12]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.5555\/648084.747162"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796808006898"},{"key":"e_1_3_2_1_3_1","volume-title":"Instant generics: Fast and easy. At http:\/\/www.cse.unsw.edu.au\/~chak\/papers\/CDL09.html","author":"Chakravarty M.","year":"2009","unstructured":"M. Chakravarty , G. Ditu , and R. Leshchinskiy . Instant generics: Fast and easy. At http:\/\/www.cse.unsw.edu.au\/~chak\/papers\/CDL09.html , 2009 . M. Chakravarty, G. Ditu, and R. Leshchinskiy. Instant generics: Fast and easy. At http:\/\/www.cse.unsw.edu.au\/~chak\/papers\/CDL09.html, 2009."},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111056"},{"key":"e_1_3_2_1_5_1","volume-title":"Workshop on ML","author":"Garrigue J.","year":"1998","unstructured":"J. Garrigue . Programming with polymorphic variants . In Workshop on ML , 1998 . J. Garrigue. Programming with polymorphic variants. In Workshop on ML, 1998."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/138027.138060"},{"key":"e_1_3_2_1_7_1","volume-title":"http:\/\/okmij.org\/ftp\/Haskell\/typeEQ.html","author":"Kiselyov O.","year":"2012","unstructured":"O. Kiselyov . http:\/\/okmij.org\/ftp\/Haskell\/typeEQ.html , 2012 . O. Kiselyov. http:\/\/okmij.org\/ftp\/Haskell\/typeEQ.html, 2012."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017472.1017488"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/604174.604179"},{"key":"e_1_3_2_1_10_1","volume-title":"http:\/\/caml.inria.fr\/ocaml","author":"Leroy X.","year":"2000","unstructured":"X. Leroy . Objective Caml . http:\/\/caml.inria.fr\/ocaml , 2000 . X. Leroy. Objective Caml. http:\/\/caml.inria.fr\/ocaml, 2000."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2036918.2036924"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863523.1863529"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.76.6"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364394.2364397"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796807006326"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-74107-7_5"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016850.1016878"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411215"},{"key":"e_1_3_2_1_19_1","series-title":"Lecture Notes in Computer Science","volume-title":"Central European Functional Programming School","author":"Sheard T.","year":"2007","unstructured":"T. Sheard and N. Linger . Programming in Omega . In Central European Functional Programming School , volume 5161 of Lecture Notes in Computer Science , 2007 . T. Sheard and N. Linger. Programming in Omega. In Central European Functional Programming School, volume 5161 of Lecture Notes in Computer Science, 2007."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796808006758"},{"key":"e_1_3_2_1_21_1","first-page":"187","article-title":"Total functional programming","volume":"10","author":"Turner D.","year":"2004","unstructured":"D. Turner . Total functional programming . Journal of Universal Computer Science , 10 : 187 -- 209 , 2004 . D. Turner. Total functional programming. Journal of Universal Computer Science, 10: 187--209, 2004.","journal-title":"Journal of Universal Computer Science"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796811000098"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/143165.143169"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596585"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103795"}],"event":{"name":"ICFP'12: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Copenhagen Denmark","acronym":"ICFP'12"},"container-title":["Proceedings of the 8th ACM SIGPLAN workshop on Generic programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2364394.2364396","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2364394.2364396","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T21:36:59Z","timestamp":1750282619000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2364394.2364396"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2012,9,12]]},"references-count":25,"alternative-id":["10.1145\/2364394.2364396","10.1145\/2364394"],"URL":"https:\/\/doi.org\/10.1145\/2364394.2364396","relation":{},"subject":[],"published":{"date-parts":[[2012,9,12]]},"assertion":[{"value":"2012-09-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}