{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:08:24Z","timestamp":1750306104492,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":35,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,6,18]],"date-time":"2017-06-18T00:00:00Z","timestamp":1497744000000},"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":[[2017,6,18]]},"DOI":"10.1145\/3103111.3104043","type":"proceedings-article","created":{"date-parts":[[2017,6,26]],"date-time":"2017-06-26T12:13:28Z","timestamp":1498479208000},"page":"1-6","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Towards a Java Subtyping Operad"],"prefix":"10.1145","author":[{"given":"Moez A.","family":"AbdelGawad","sequence":"first","affiliation":[{"name":"Informatics Research Institute, SRTA-City, Alexandria, Egypt"}]}],"member":"320","published-online":{"date-parts":[[2017,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"C# language specification version 5.0. http:\/\/msdn.microsoft.com\/vcsharp 2015.  C# language specification version 5.0. http:\/\/msdn.microsoft.com\/vcsharp 2015."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.entcs.2014.01.002"},{"key":"e_1_3_2_1_3_1","volume-title":"Towards an accurate mathematical model of generic nominally-typed OOP (extended abstract). arXiv:1610.05114 {cs.PL}","author":"AbdelGawad Moez A.","year":"2016","unstructured":"Moez A. AbdelGawad . Towards an accurate mathematical model of generic nominally-typed OOP (extended abstract). arXiv:1610.05114 {cs.PL} , 2016 . Moez A. AbdelGawad. Towards an accurate mathematical model of generic nominally-typed OOP (extended abstract). arXiv:1610.05114 {cs.PL}, 2016."},{"key":"e_1_3_2_1_4_1","volume-title":"Towards a Java subtyping operad (extended version). Preprint","author":"AbdelGawad Moez A.","year":"2017","unstructured":"Moez A. AbdelGawad . Towards a Java subtyping operad (extended version). Preprint available at http:\/\/arxiv.org\/abs\/1706.00274, 2017 . Moez A. AbdelGawad. Towards a Java subtyping operad (extended version). Preprint available at http:\/\/arxiv.org\/abs\/1706.00274, 2017."},{"key":"e_1_3_2_1_5_1","volume-title":"Parameterized types and Java. Technical report","author":"Bank Joseph A.","year":"1996","unstructured":"Joseph A. Bank , Barbara Liskov , and Andrew C. Myers . Parameterized types and Java. Technical report , 1996 . Joseph A. Bank, Barbara Liskov, and Andrew C. Myers. Parameterized types and Java. Technical report, 1996."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286957"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-70592-5_2"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/99370.99392"},{"key":"e_1_3_2_1_9_1","volume-title":"The 25th Nordic Workshop on Programming Theory (NWPT)","author":"Cartwright Robert","year":"2013","unstructured":"Robert Cartwright and Moez A . AbdelGawad. Inheritance Is subtyping (extended abstract) . In The 25th Nordic Workshop on Programming Theory (NWPT) , Tallinn, Estonia , 2013 . Robert Cartwright and Moez A. AbdelGawad. Inheritance Is subtyping (extended abstract). In The 25th Nordic Workshop on Programming Theory (NWPT), Tallinn, Estonia, 2013."},{"key":"e_1_3_2_1_10_1","volume-title":"AbdelGawad. Domain Theory: An Introduction. Preprint","author":"Cartwright Robert","year":"2016","unstructured":"Robert Cartwright , Rebecca Parsons , and Moez A . AbdelGawad. Domain Theory: An Introduction. Preprint available at http:\/\/arxiv.org\/abs\/1605.05858, 2016 . Robert Cartwright, Rebecca Parsons, and Moez A. AbdelGawad. Domain Theory: An Introduction. Preprint available at http:\/\/arxiv.org\/abs\/1605.05858, 2016."},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/286936.286958"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/96709.96721"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1002\/(SICI)1096-9942(199901\/03)5:1%3C3::AID-TAPO2%3E3.0.CO;2-T"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.5555\/645580.658808"},{"key":"e_1_3_2_1_15_1","series-title":"Encyclopedia Of Mathematics And Its Applications","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511542725","volume-title":"Continuous Lattices and Domains","author":"Gierz G.","year":"2003","unstructured":"G. Gierz , K. H. Hofmann , K. Keimel , J. D. Lawson , M. W. Mislove , and D. S. Scott . Continuous Lattices and Domains , volume 93 of Encyclopedia Of Mathematics And Its Applications . Cambridge University Press , 2003 . G. Gierz, K. H. Hofmann, K. Keimel, J. D. Lawson, M. W. Mislove, and D. S. Scott. Continuous Lattices and Domains, volume 93 of Encyclopedia Of Mathematics And Its Applications. Cambridge University Press, 2003."},{"key":"e_1_3_2_1_16_1","volume-title":"The Java Language Specification","author":"Gosling James","year":"2005","unstructured":"James Gosling , Bill Joy , Guy Steele , and Gilad Bracha . The Java Language Specification . Addison-Wesley , 2005 . James Gosling, Bill Joy, Guy Steele, and Gilad Bracha. The Java Language Specification. Addison-Wesley, 2005."},{"key":"e_1_3_2_1_17_1","volume-title":"The Java Language Specification","author":"Gosling James","year":"2014","unstructured":"James Gosling , Bill Joy , Guy Steele , Gilad Bracha , and Alex Buckley . The Java Language Specification . Addison-Wesley , 2014 . James Gosling, Bill Joy, Guy Steele, Gilad Bracha, and Alex Buckley. The Java Language Specification. Addison-Wesley, 2014."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009871"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_20_1","first-page":"441","volume-title":"ECOOP","author":"Igarashi Atsushi","year":"2002","unstructured":"Atsushi Igarashi and Mirko Viroli . On variance-based subtyping for parametric types . In In ECOOP , pages 441 -- 469 . Springer-Verlag , 2002 . Atsushi Igarashi and Mirko Viroli. On variance-based subtyping for parametric types. In In ECOOP, pages 441--469. Springer-Verlag, 2002."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.5555\/261075.261479"},{"key":"e_1_3_2_1_22_1","volume-title":"International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL\/WOOD)","author":"Andrew","year":"2007","unstructured":"Andrew J. Kennedy and Benjamin C. Pierce. On decidability of nominal subtyping with variance . In International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL\/WOOD) , 2007 . Andrew J. Kennedy and Benjamin C. Pierce. On decidability of nominal subtyping with variance. In International Workshop on Foundations and Developments of Object-Oriented Languages (FOOL\/WOOD), 2007."},{"key":"e_1_3_2_1_23_1","volume-title":"London Mathematical Society Lecture Note Series","author":"Leinster T.","year":"2004","unstructured":"T. Leinster . Higher Operads , Higher Categories . London Mathematical Society Lecture Note Series . Cambridge University Press , 2004 . T. Leinster. Higher Operads, Higher Categories. London Mathematical Society Lecture Note Series. Cambridge University Press, 2004."},{"key":"e_1_3_2_1_24_1","unstructured":"Martin Odersky. The scala language specification v. 2.9. http:\/\/www.scala-lang.org 2014.  Martin Odersky. The scala language specification v. 2.9. http:\/\/www.scala-lang.org 2014."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.5555\/119358"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80352-4"},{"key":"e_1_3_2_1_27_1","volume-title":"Computational Category Theory","author":"Rydeheard David E.","year":"1988","unstructured":"David E. Rydeheard and Rod M. Burstall . Computational Category Theory . Prentice Hall International (UK) Ltd ., 1988 . David E. Rydeheard and Rod M. Burstall. Computational Category Theory. Prentice Hall International (UK) Ltd., 1988."},{"key":"e_1_3_2_1_28_1","volume-title":"Computer Science Department","author":"Scott Dana S.","year":"1983","unstructured":"Dana S. Scott . Domains for denotational semantics. Technical report , Computer Science Department , Carnegie Mellon University , 1983 . Dana S. Scott. Domains for denotational semantics. Technical report, Computer Science Department, Carnegie Mellon University, 1983."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1449764.1449804"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1137\/0211062"},{"key":"e_1_3_2_1_31_1","volume-title":"Category theory for the sciences","author":"Spivak David I","year":"2014","unstructured":"David I Spivak . Category theory for the sciences . MIT Press , 2014 . David I Spivak. Category theory for the sciences. MIT Press, 2014."},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1924520.1924522"},{"key":"e_1_3_2_1_33_1","volume-title":"Foundations of Object-Oriented Languages","author":"Torgersen Mads","year":"2005","unstructured":"Mads Torgersen , Erik Ernst , and Christian Plesner Hansen . Wild FJ . In Foundations of Object-Oriented Languages , 2005 . Mads Torgersen, Erik Ernst, and Christian Plesner Hansen. Wild FJ. In Foundations of Object-Oriented Languages, 2005."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/967900.968162"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/2737924.2738008"}],"event":{"name":"ECOOP '17: European Conference on Object-Oriented Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","AITO Assoc Internationale por les Technologies Objects"],"location":"Barcelona Spain","acronym":"ECOOP '17"},"container-title":["Proceedings of the 19th Workshop on Formal Techniques for Java-like Programs"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3103111.3104043","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3103111.3104043","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T03:30:37Z","timestamp":1750217437000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3103111.3104043"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,18]]},"references-count":35,"alternative-id":["10.1145\/3103111.3104043","10.1145\/3103111"],"URL":"https:\/\/doi.org\/10.1145\/3103111.3104043","relation":{},"subject":[],"published":{"date-parts":[[2017,6,18]]},"assertion":[{"value":"2017-06-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}