{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,7]],"date-time":"2024-09-07T01:34:22Z","timestamp":1725672862545},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2006,9,16]]},"DOI":"10.1145\/1159861.1159867","type":"proceedings-article","created":{"date-parts":[[2006,10,18]],"date-time":"2006-10-18T22:04:00Z","timestamp":1161209040000},"page":"33-44","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Good advice for type-directed programming aspect-oriented programming and extensible generic functions"],"prefix":"10.1145","author":[{"given":"Geoffrey","family":"Washburn","sequence":"first","affiliation":[{"name":"University of Pennsylvania"}]},{"given":"Stephanie","family":"Weirich","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}]}],"member":"320","published-online":{"date-parts":[[2006,9,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/103135.103138"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/648084.747162"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/581690.581698"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1353445.1353448"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.5555\/648085.747179"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11783596_13"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1007\/11737414_3"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.5555\/648033.744231"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2006.02.008"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.5555\/646158.680006"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/640136.604179"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1016850.1016883"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086391"},{"key":"e_1_3_2_1_15_1","first-page":"78","volume-title":"Proceedings of the SIGPLAN Workshop on ML and its Applications","author":"L\u00e4ufer K.","year":"1992","unstructured":"K. L\u00e4ufer and M. Odersky . An extension of ML with first-class abstract types . In Proceedings of the SIGPLAN Workshop on ML and its Applications , pages 78 -- 91 , June 1992 . K. L\u00e4ufer and M. Odersky. An extension of ML with first-class abstract types. In Proceedings of the SIGPLAN Workshop on ML and its Applications, pages 78--91,June 1992."},{"key":"e_1_3_2_1_16_1","unstructured":"X. Leroy D. Doligez J. Garrigue D. R\u00e9my and J. Vouillon. The Objective Caml System:Documentation and user's manual 2000. Available from http:\/\/caml.inria.fr  X. Leroy D. Doligez J. Garrigue D. R\u00e9my and J. Vouillon. The Objective Caml System:Documentation and user's manual 2000. Available from http:\/\/caml.inria.fr"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1028664.1028678"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944719"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086405"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"R. Milner M.Tofte R.Harper and D.MacQueen.The Definition of Standard ML (Revised).MIT Press Cambridge MA 1997.   R. Milner M.Tofte R.Harper and D.MacQueen.The Definition of Standard ML (Revised).MIT Press Cambridge MA 1997.","DOI":"10.7551\/mitpress\/2319.001.0001"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/317636.317781"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/201059.201066"},{"key":"e_1_3_2_1_23_1","unstructured":"S. Peyton Jones.Haskell 98 Language and Libraries:The Revised Report. Cambridge University Press 2003.  S. Peyton Jones.Haskell 98 Language and Libraries:The Revised Report. Cambridge University Press 2003."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006034"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159811"},{"key":"e_1_3_2_1_26_1","volume-title":"Machine Intelligence ,volume 5,pages 153--163","author":"Plotkin G.D.","year":"1970","unstructured":"G.D. Plotkin . A note on inductive generalization. In Machine Intelligence ,volume 5,pages 153--163 . Edinburgh University Press , 1970 . G.D. Plotkin.A note on inductive generalization. In Machine Intelligence ,volume 5,pages 153--163.Edinburgh University Press, 1970."},{"key":"e_1_3_2_1_27_1","unstructured":"J.C. Reynolds. Types abstraction and parametric polymorphism. Information processing pages 513--523 1983.  J.C. Reynolds. Types abstraction and parametric polymorphism. Information processing pages 513--523 1983."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/250707.239108"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159861.1159869"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351248"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040294.1040296"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944718"},{"key":"e_1_3_2_1_33_1","volume-title":"Proceedings of the 5th Workshop on Foundations of Aspect-Oriented Languages (FOAL)","author":"Wang M.","year":"2006","unstructured":"M. Wang , K. Chen ,and S.- C. Khoo . On the pursuit of staticness and coherence . In Proceedings of the 5th Workshop on Foundations of Aspect-Oriented Languages (FOAL) , Mar. 2006 . M. Wang,K.Chen,and S.-C.Khoo. On the pursuit of staticness and coherence. In Proceedings of the 5th Workshop on Foundations of Aspect-Oriented Languages (FOAL), Mar. 2006."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.20"},{"key":"e_1_3_2_1_35_1","first-page":"98","volume-title":"Proceedings of the 11th European Symp.on Programming (ESOP)","author":"Weirich S.","year":"2002","unstructured":"S. Weirich . Higher-order intensional type analysis. In D.L.M\u00e9tayer, editor , Proceedings of the 11th European Symp.on Programming (ESOP) , pages 98 -- 114 , Grenoble, France,Apr. 2002 . S. Weirich. Higher-order intensional type analysis. In D.L.M\u00e9tayer, editor, Proceedings of the 11th European Symp.on Programming (ESOP), pages 98--114, Grenoble, France,Apr.2002."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159842.1159844"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806005879"},{"key":"e_1_3_2_1_38_1","volume-title":"ENTCS","author":"Weirich S.","year":"2004","unstructured":"S. Weirich and L. Huang . A design for type-directed Java. In V. Bono, editor,Workshop on Object-Oriented Developments (WOOD) , ENTCS , Aug. 2004 . 20 pages. S. Weirich and L. Huang. A design for type-directed Java. In V. Bono, editor,Workshop on Object-Oriented Developments (WOOD), ENTCS, Aug. 2004. 20 pages."}],"event":{"name":"ICFP06: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Portland Oregon USA","acronym":"ICFP06"},"container-title":["Proceedings of the 2006 ACM SIGPLAN workshop on Generic programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1159861.1159867","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,1,12]],"date-time":"2023-01-12T08:50:14Z","timestamp":1673513414000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1159861.1159867"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,9,16]]},"references-count":37,"alternative-id":["10.1145\/1159861.1159867","10.1145\/1159861"],"URL":"https:\/\/doi.org\/10.1145\/1159861.1159867","relation":{},"subject":[],"published":{"date-parts":[[2006,9,16]]},"assertion":[{"value":"2006-09-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}