{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:27:40Z","timestamp":1750220860580,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":24,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,9,23]],"date-time":"2019-09-23T00:00:00Z","timestamp":1569196800000},"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":[[2019,9,23]]},"DOI":"10.1145\/3355378.3355385","type":"proceedings-article","created":{"date-parts":[[2019,9,5]],"date-time":"2019-09-05T12:16:25Z","timestamp":1567685785000},"page":"11-18","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["An Inherently-Typed Formalization for Featherweight Java"],"prefix":"10.1145","author":[{"given":"Samuel da Silva","family":"Feitosa","sequence":"first","affiliation":[{"name":"Programa de P\u00f3s Gradua\u00e7\u00e3o em Computa\u00e7\u00e3o, Universidade Federal de Pelotas, Pelotas, RS, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Alejandro Serrano","family":"Mena","sequence":"additional","affiliation":[{"name":"Software Technology Group Utrecht University, Utrecht, The Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Rodrigo Geraldo","family":"Ribeiro","sequence":"additional","affiliation":[{"name":"Programa de P\u00f3s Gradua\u00e7\u00e3o em Computa\u00e7\u00e3o, Universidade Federal de Ouro Preto, Ouro Preto, MG, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Andre Rauber Du","family":"Bois","sequence":"additional","affiliation":[{"name":"Programa de P\u00f3s Gradua\u00e7\u00e3o em Computa\u00e7\u00e3o, Universidade Federal de Pelotas, Pelotas, RS, Brazil"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,9,23]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-013-9298-1"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837638"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.5555\/647849.737066"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009866"},{"key":"e_1_3_2_1_5_1","volume-title":"In Workshop on Dependent Types in Programming, Gothenburg.","author":"Augustsson Lennart","year":"1999","unstructured":"Lennart Augustsson and Magnus Carlsson . 1999 . An exercise in dependent types: A well-typed interpreter . In In Workshop on Dependent Types in Programming, Gothenburg. Lennart Augustsson and Magnus Carlsson. 1999. An exercise in dependent types: A well-typed interpreter. In In Workshop on Dependent Types in Programming, Gothenburg."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/3158104"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-011-9219-0"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364546"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1016\/1385-7258(72)90034-0"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2076021.2048113"},{"key":"e_1_3_2_1_11_1","unstructured":"James Gosling Bill Joy Guy Steele Gilad Bracha and Alex Buckley. 2014. The Java Lang. Specification Java SE 8.   James Gosling Bill Joy Guy Steele Gilad Bracha and Alex Buckley. 2014. The Java Lang. Specification Java SE 8."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/503502.503505"},{"key":"e_1_3_2_1_13_1","volume-title":"Natural Semantics. In 4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS 87","author":"Kahn G.","year":"1987","unstructured":"G. Kahn . 1987 . Natural Semantics. In 4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS 87 . Springer-Verlag, London, UK, UK, 22--39. http:\/\/dl.acm.org\/citation.cfm?id=28220.28222 G. Kahn. 1987. Natural Semantics. In 4th Annual Symposium on Theoretical Aspects of Computer Sciences on STACS 87. Springer-Verlag, London, UK, UK, 22--39. http:\/\/dl.acm.org\/citation.cfm?id=28220.28222"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/2318202.2318206"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863495.1863497"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-662-49498-1_23"},{"key":"e_1_3_2_1_17_1","volume-title":"Types and Programming Languages","author":"Pierce Benjamin C.","unstructured":"Benjamin C. Pierce . 2002. Types and Programming Languages ( 1 st ed.). The MIT Press . Benjamin C. Pierce. 2002. Types and Programming Languages (1st ed.). The MIT Press.","edition":"1"},{"key":"e_1_3_2_1_18_1","volume-title":"A structural approach to operational semantics. J. Log. Algebr. Program. 60-61","author":"Plotkin Gordon D.","year":"2004","unstructured":"Gordon D. Plotkin . 2004. A structural approach to operational semantics. J. Log. Algebr. Program. 60-61 ( 2004 ), 17--139. Gordon D. Plotkin. 2004. A structural approach to operational semantics. J. Log. Algebr. Program. 60-61 (2004), 17--139."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/800194.805852"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"crossref","unstructured":"John C. Reynolds. 2001. What do Types Mean? - From Intrinsic to Extrinsic Semantics.  John C. Reynolds. 2001. What do Types Mean? - From Intrinsic to Extrinsic Semantics.","DOI":"10.7146\/brics.v7i32.20167"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2841316"},{"key":"e_1_3_2_1_22_1","unstructured":"tiobe.com. 2019. TIOBE Index. https:\/\/www.tiobe.com\/tiobe-index\/. Accessed: 2019-03-12.  tiobe.com. 2019. TIOBE Index. https:\/\/www.tiobe.com\/tiobe-index\/. Accessed: 2019-03-12."},{"volume-title":"Formal Methods: Foundations and Applications","author":"Wadler Philip","key":"e_1_3_2_1_23_1","unstructured":"Philip Wadler . 2018. Programming Language Foundations in Agda . In Formal Methods: Foundations and Applications , Tiago Massoni and Mohammad Reza Mousavi (Eds.). Springer International Publishing , Cham , 56--73. Philip Wadler. 2018. Programming Language Foundations in Agda. In Formal Methods: Foundations and Applications, Tiago Massoni and Mohammad Reza Mousavi (Eds.). Springer International Publishing, Cham, 56--73."},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1093"}],"event":{"name":"SBLP 2019: XXIII Brazilian Symposium on Programming Languages","sponsor":["SBC Sociedade Brasileira de Computa\u00e7\u00e3o"],"location":"Salvador Brazil","acronym":"SBLP 2019"},"container-title":["Proceedings of the XXIII Brazilian Symposium on Programming Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3355378.3355385","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3355378.3355385","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:23:33Z","timestamp":1750202613000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3355378.3355385"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,9,23]]},"references-count":24,"alternative-id":["10.1145\/3355378.3355385","10.1145\/3355378"],"URL":"https:\/\/doi.org\/10.1145\/3355378.3355385","relation":{},"subject":[],"published":{"date-parts":[[2019,9,23]]},"assertion":[{"value":"2019-09-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}