{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,5,13]],"date-time":"2026-05-13T23:54:15Z","timestamp":1778716455156,"version":"3.51.4"},"publisher-location":"New York, NY, USA","reference-count":38,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,12]],"date-time":"2005-09-12T00:00:00Z","timestamp":1126483200000},"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":[[2005,9,12]]},"DOI":"10.1145\/1086365.1086404","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T12:34:39Z","timestamp":1131366879000},"page":"306-319","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["Poly\n                    <sub>AML<\/sub>"],"prefix":"10.1145","author":[{"given":"Daniel S.","family":"Dantas","sequence":"first","affiliation":[{"name":"Princeton University, Princeton, NJ"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Walker","sequence":"additional","affiliation":[{"name":"Princeton University, Princeton, NJ"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Geoffrey","family":"Washburn","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Stephanie","family":"Weirich","sequence":"additional","affiliation":[{"name":"University of Pennsylvania"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,9,12]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Workshop on Foundations of Aspect-Oriented Languages","author":"Aldrich J.","year":"2004","unstructured":"J. Aldrich . Open modules : A proposal for modular reasoning in aspect-oriented programming . In Workshop on Foundations of Aspect-Oriented Languages , Mar. 2004 . J. Aldrich. Open modules: A proposal for modular reasoning in aspect-oriented programming. In Workshop on Foundations of Aspect-Oriented Languages, Mar. 2004."},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the Software Engineering Properties of Languages for Aspect Technologies","author":"Aldrich J.","year":"2004","unstructured":"J. Aldrich . Open modules : Reconciling extensibility and information hiding . In Proceedings of the Software Engineering Properties of Languages for Aspect Technologies , Mar. 2004 . J. Aldrich. Open modules: Reconciling extensibility and information hiding. In Proceedings of the Software Engineering Properties of Languages for Aspect Technologies, Mar. 2004."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1065010.1065047"},{"key":"e_1_3_2_1_4_1","first-page":"209","volume-title":"Concur","author":"Bruns G.","year":"2004","unstructured":"G. Bruns , R. Jagadeesan , A. S. A. Jeffrey , and J. Riely . muABC: A minimal aspect calculus . In Concur , pages 209 -- 224 , Apr. 2004 . G. Bruns, R. Jagadeesan, A. S. A. Jeffrey, and J. Riely. muABC: A minimal aspect calculus. In Concur, pages 209--224, Apr. 2004."},{"key":"e_1_3_2_1_5_1","volume-title":"Foundations of Aspect Languages","author":"Clifton C.","year":"2002","unstructured":"C. Clifton and G. T. Leavens . Assistants and observers: A proposal for modular aspect-oriented reasoning . In Foundations of Aspect Languages , Apr. 2002 . C. Clifton and G. T. Leavens. Assistants and observers: A proposal for modular aspect-oriented reasoning. In Foundations of Aspect Languages, Apr. 2002."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325703"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/976270.976279"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_2_1_10_1","volume-title":"Workshop on Foundations of Object-Oriented Languages","author":"Dantas D. S.","year":"2005","unstructured":"D. S. Dantas and D. Walker . Harmless advice . In Workshop on Foundations of Object-Oriented Languages , Jan. 2005 . D. S. Dantas and D. Walker. Harmless advice. In Workshop on Foundations of Object-Oriented Languages, Jan. 2005."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5555\/646931.710555"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/976270.976288"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/335169.335201"},{"key":"e_1_3_2_1_15_1","first-page":"246","volume-title":"IEEE Symposium on Security and Privacy","author":"Schneider Erlingsson","year":"2000","unstructured":"\u00dafar. Erlingsson and F. B. Schneider . IRM enforcement of Java stack inspection . In IEEE Symposium on Security and Privacy , pages 246 -- 255 , Oakland, California , May 2000 . \u00dafar. Erlingsson and F. B. Schneider. IRM enforcement of Java stack inspection. In IEEE Symposium on Security and Privacy, pages 246--255, Oakland, California, May 2000."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1109\/SECPRI.1999.766716"},{"key":"e_1_3_2_1_17_1","volume-title":"Aspect-Oriented Software Development","author":"Filman R. E.","year":"2005","unstructured":"R. E. Filman and D. P. Friedman . Aspect-Oriented Software Development , chapter Aspect-Oriented Programming is Quantification and Obliviousness. Addison-Wesley , 2005 . R. E. Filman and D. P. Friedman. Aspect-Oriented Software Development, chapter Aspect-Oriented Programming is Quantification and Obliviousness. Addison-Wesley, 2005."},{"key":"e_1_3_2_1_18_1","volume-title":"HotOS","author":"Fiuczynski M.","year":"2005","unstructured":"M. Fiuczynski , Y. Cody , R. Grimm , and D. Walker . Patch(1) considered harmful. In HotOS , July 2005 . To appear. M. Fiuczynski, Y. Cody, R. Grimm, and D.Walker. Patch(1) considered harmful. In HotOS, July 2005. To appear."},{"key":"e_1_3_2_1_19_1","volume-title":"A calculus of typed aspectoriented programs. Unpublished manuscript","author":"Jagadeesan R.","year":"2003","unstructured":"R. Jagadeesan , A. Jeffrey , and J. Riely . A calculus of typed aspectoriented programs. Unpublished manuscript ., 2003 . R. Jagadeesan, A. Jeffrey, and J. Riely. A calculus of typed aspectoriented programs. Unpublished manuscript., 2003."},{"key":"e_1_3_2_1_20_1","volume-title":"European Conference on Object-Oriented Programming","author":"Jagadeesan R.","year":"2003","unstructured":"R. Jagadeesan , A. Jeffrey , and J. Riely . A calculus of untyped aspectoriented programs . In European Conference on Object-Oriented Programming , Darmstadt, Germany , July 2003 . R. Jagadeesan, A. Jeffrey, and J. Riely. A calculus of untyped aspectoriented programs. In European Conference on Object-Oriented Programming, Darmstadt, Germany, July 2003."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/646158.680006"},{"key":"e_1_3_2_1_22_1","volume-title":"European Conference on Real-time Systems","author":"Kim M.","year":"1999","unstructured":"M. Kim , M. Viswanathan , H. Ben-Abdallah , S. Kannan , I. Lee , and O. Sokolsky . Formally specified monitoring of temporal properties . In European Conference on Real-time Systems , York, UK , June 1999 . M. Kim, M. Viswanathan, H. Ben-Abdallah, S. Kannan, I. Lee, and O. Sokolsky. Formally specified monitoring of temporal properties. In European Conference on Real-time Systems, York, UK, June 1999."},{"key":"e_1_3_2_1_23_1","volume-title":"International Conference on Parallel and Distributed Processing Techniques and Applications","author":"Lee I.","year":"1999","unstructured":"I. Lee , S. Kannan , M. Kim , O. Sokolsky , and M. Viswanathan . Runtime assurance based on formal specifications . In International Conference on Parallel and Distributed Processing Techniques and Applications , Las Vegas , June 1999 . I. Lee, S. Kannan, M. Kim, O. Sokolsky, and M. Viswanathan. Runtime assurance based on formal specifications. In International Conference on Parallel and Distributed Processing Techniques and Applications, Las Vegas, June 1999."},{"key":"e_1_3_2_1_24_1","volume-title":"The Objective Caml system: Documentation and user's manual","author":"Leroy X.","year":"2000","unstructured":"X. Leroy . The Objective Caml system: Documentation and user's manual , 2000 . With Damien Doligez, Jacques Garrigue , Didier R\u00e9my, and J\u00e9r\u00f4ome Vouillon . Available from http:\/\/caml.inria.fr. X. Leroy. The Objective Caml system: Documentation and user's manual, 2000. With Damien Doligez, Jacques Garrigue, Didier R\u00e9my, and J\u00e9r\u00f4ome Vouillon. Available from http:\/\/caml.inria.fr."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1093\/comjnl\/46.5.542"},{"key":"e_1_3_2_1_26_1","first-page":"17","volume-title":"Foundations of Aspect-Oriented Languages Workshop","author":"Masuhara H.","year":"2002","unstructured":"H. Masuhara , G. Kiczales , and C. Dutchyn . Compilation semantics of aspect-oriented programs. In G. T. Leavens and R. Cytron, editors , Foundations of Aspect-Oriented Languages Workshop , pages 17 -- 25 , Apr. 2002 . H. Masuhara, G. Kiczales, and C. Dutchyn. Compilation semantics of aspect-oriented programs. In G. T. Leavens and R. Cytron, editors, Foundations of Aspect-Oriented Languages Workshop, pages 17--25, Apr. 2002."},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1016\/0747-7171(92)90011-R"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.5555\/549659"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006034"},{"key":"e_1_3_2_1_31_1","volume-title":"July","author":"Jones S. Peyton","year":"2004","unstructured":"S. Peyton Jones , G. Washburn , and S. Weirich . Wobbly types: Practical type inference for generalised algebraic dataypes. Available at http:\/\/www.cis.upenn.edu\/_geoffw\/research\/ , July 2004 . S. Peyton Jones, G.Washburn, and S.Weirich. Wobbly types: Practical type inference for generalised algebraic dataypes. Available at http:\/\/www.cis.upenn.edu\/_geoffw\/research\/, July 2004."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/268946.268967"},{"key":"e_1_3_2_1_33_1","volume-title":"Lexically scoped type variables. Microsoft Research.","author":"Shields M.","year":"2002","unstructured":"M. Shields and S. Peyton Jones . Lexically scoped type variables. Microsoft Research. Available at http:\/\/research.microsoft.com\/Users\/simonpj\/papers\/scoped-tyvars, 2002 . M. Shields and S. Peyton Jones. Lexically scoped type variables. Microsoft Research. Available at http:\/\/research.microsoft.com\/Users\/simonpj\/papers\/scoped-tyvars, 2002."},{"key":"e_1_3_2_1_35_1","volume-title":"Feb.","author":"Stuckey P. J.","year":"2005","unstructured":"P. J. Stuckey and M. Sulzmann . Type inference for guarded recursive data types. Submitted for publication , Feb. 2005 . P. J. Stuckey and M. Sulzmann. Type inference for guarded recursive data types. Submitted for publication, Feb. 2005."},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086405"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/643603.643620"},{"key":"e_1_3_2_1_38_1","volume-title":"April","author":"Vytiniotis D.","year":"2005","unstructured":"D. Vytiniotis , S. Weirich , and S. Peyton Jones . Boxy type inference for higher-rank types and impredicativity. Available at http:\/\/www.cis.upenn.edu_dimitriv\/boxy\/ , April 2005 . D. Vytiniotis, S. Weirich, and S. Peyton Jones. Boxy type inference for higher-rank types and impredicativity. Available at http:\/\/www.cis.upenn.edu_dimitriv\/boxy\/, April 2005."},{"key":"e_1_3_2_1_39_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944718"},{"key":"e_1_3_2_1_40_1","doi-asserted-by":"publisher","DOI":"10.1145\/1018203.1018208"},{"key":"e_1_3_2_1_41_1","doi-asserted-by":"publisher","DOI":"10.1109\/LICS.2005.20"}],"event":{"name":"ICFP05: ACM SIGPLAN International Conference on Functional Programming","location":"Tallinn Estonia","acronym":"ICFP05","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the tenth ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086365.1086404","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1086365.1086404","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T12:08:12Z","timestamp":1750248492000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1086365.1086404"}},"subtitle":["a polymorphic aspect-oriented functional programming language"],"short-title":[],"issued":{"date-parts":[[2005,9,12]]},"references-count":38,"alternative-id":["10.1145\/1086365.1086404","10.1145\/1086365"],"URL":"https:\/\/doi.org\/10.1145\/1086365.1086404","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1090189.1086404","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2005,9,12]]},"assertion":[{"value":"2005-09-12","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}