{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,3,16]],"date-time":"2026-03-16T10:07:48Z","timestamp":1773655668785,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":27,"publisher":"ACM","license":[{"start":{"date-parts":[[2022,6,7]],"date-time":"2022-06-07T00:00:00Z","timestamp":1654560000000},"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":[[2022,6,7]]},"DOI":"10.1145\/3611096.3611103","type":"proceedings-article","created":{"date-parts":[[2023,10,16]],"date-time":"2023-10-16T23:12:42Z","timestamp":1697497962000},"page":"29-36","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["Formalizing \u03d5-Calculus: A Purely Object-Oriented Calculus of Decorated Objects"],"prefix":"10.1145","author":[{"ORCID":"https:\/\/orcid.org\/0000-0001-6572-7292","authenticated-orcid":false,"given":"Nikolai","family":"Kudasov","sequence":"first","affiliation":[{"name":"Lab of Programming Languages and Compilers, Innopolis University, Russian Federation"}]},{"ORCID":"https:\/\/orcid.org\/0009-0003-3261-9473","authenticated-orcid":false,"given":"Violetta","family":"Sim","sequence":"additional","affiliation":[{"name":"Lab of Programming Languages and Compilers, Innopolis University, Russian Federation"}]}],"member":"320","published-online":{"date-parts":[[2023,10,16]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001052"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1996.0024"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1244002.1244245"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2076021.2048140"},{"key":"e_1_3_2_1_5_1","volume-title":"Introduction to lambda calculus. Nieuw archief voor wisenkunde 4 (Jan","author":"Barendregt Henk","year":"1984","unstructured":"Henk Barendregt and Erik Barendsen . 1984. Introduction to lambda calculus. Nieuw archief voor wisenkunde 4 (Jan . 1984 ), 337\u2013372. Henk Barendregt and Erik Barendsen. 1984. Introduction to lambda calculus. Nieuw archief voor wisenkunde 4 (Jan. 1984), 337\u2013372."},{"key":"e_1_3_2_1_6_1","unstructured":"Yegor Bugayenko. 2022. EOLANG and \u03c6 -calculus. arxiv:2111.13384\u00a0[cs.PL]  Yegor Bugayenko. 2022. EOLANG and \u03c6 -calculus. arxiv:2111.13384\u00a0[cs.PL]"},{"key":"e_1_3_2_1_7_1","unstructured":"Yegor Bugayenko. 2022. Reducing Programs to Objects. arxiv:2112.11988\u00a0[cs.PL]  Yegor Bugayenko. 2022. Reducing Programs to Objects. arxiv:2112.11988\u00a0[cs.PL]"},{"key":"e_1_3_2_1_8_1","volume-title":"Extensible Records in a Pure Calculus of Subtyping","author":"Cardelli Luca","unstructured":"Luca Cardelli . 1994. Extensible Records in a Pure Calculus of Subtyping . MIT Press , Cambridge, MA, USA , 373\u2013425. Luca Cardelli. 1994. Extensible Records in a Pure Calculus of Subtyping. MIT Press, Cambridge, MA, USA, 373\u2013425."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199516"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/141471.141537"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/3307624.3307629"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.5381\/jot.2021.20.2.a4"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1016\/0920-5489(95)00024-O"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1109\/CMPEUR.1992.218511"},{"key":"e_1_3_2_1_15_1","first-page":"1","article-title":"A Lambda Calculus of Objects and Method Specialization","volume":"1","author":"Fisher Kathleen","year":"1994","unstructured":"Kathleen Fisher , Furio Honsell , and John\u00a0 C. Mitchell . 1994 . A Lambda Calculus of Objects and Method Specialization . Nordic J. of Computing 1 , 1 (Mar. 1994), 3\u201337. Kathleen Fisher, Furio Honsell, and John\u00a0C. Mitchell. 1994. A Lambda Calculus of Objects and Method Specialization. Nordic J. of Computing 1, 1 (Mar. 1994), 3\u201337.","journal-title":"Nordic J. of Computing"},{"key":"e_1_3_2_1_16_1","volume-title":"Design Patterns: Elements of Reusable Object-Oriented Software","author":"Gamma Erich","year":"1995","unstructured":"Erich Gamma , Richard Helm , Ralph Johnson , and John Vlissides . 1995 . Design Patterns: Elements of Reusable Object-Oriented Software . Addison-Wesley Longman Publishing Co., Inc. , USA. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. 1995. Design Patterns: Elements of Reusable Object-Oriented Software. Addison-Wesley Longman Publishing Co., Inc., USA."},{"key":"e_1_3_2_1_17_1","unstructured":"Jean-Yves Girard Paul Taylor and Yves Lafont. 1989. Proofs and Types. Cambridge University Press USA.  Jean-Yves Girard Paul Taylor and Yves Lafont. 1989. Proofs and Types. Cambridge University Press USA."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_19_1","unstructured":"Jean\u00a0L. Krivine. 1993. Lambda-Calculus Types and Models. Ellis Horwood USA.  Jean\u00a0L. Krivine. 1993. Lambda-Calculus Types and Models. Ellis Horwood USA."},{"key":"e_1_3_2_1_20_1","volume-title":"Welterweight Java. In Proceedings of the 48th International Conference on Objects, Models, Components, Patterns","author":"\u00d6stlund Johan","year":"2010","unstructured":"Johan \u00d6stlund and Tobias Wrigstad . 2010 . Welterweight Java. In Proceedings of the 48th International Conference on Objects, Models, Components, Patterns ( M\u00e1laga, Spain) (TOOLS\u201910). Springer-Verlag, Berlin, Heidelberg, 97\u2013116. Johan \u00d6stlund and Tobias Wrigstad. 2010. Welterweight Java. In Proceedings of the 48th International Conference on Objects, Models, Components, Patterns (M\u00e1laga, Spain) (TOOLS\u201910). Springer-Verlag, Berlin, Heidelberg, 97\u2013116."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/3290324"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800001040"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1007\/11531142_14"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1995.1057"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/38807.38828"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(91)90050-C"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.4230\/LIPIcs.ECOOP.2018.20"}],"event":{"name":"FTfJP '22: 24th ACM International Workshop on Formal Techniques for Java-like Programs","location":"Berlin Germany","acronym":"FTfJP '22"},"container-title":["Proceedings of the 24th ACM International Workshop on Formal Techniques for Java-like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611096.3611103","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3611096.3611103","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:50:54Z","timestamp":1750287054000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3611096.3611103"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2022,6,7]]},"references-count":27,"alternative-id":["10.1145\/3611096.3611103","10.1145\/3611096"],"URL":"https:\/\/doi.org\/10.1145\/3611096.3611103","relation":{},"subject":[],"published":{"date-parts":[[2022,6,7]]},"assertion":[{"value":"2023-10-16","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}