{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,12,19]],"date-time":"2025-12-19T21:54:47Z","timestamp":1766181287580,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":11,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,10,25]],"date-time":"2019-10-25T00:00:00Z","timestamp":1571961600000},"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,10,25]]},"DOI":"10.1145\/3358711.3361627","type":"proceedings-article","created":{"date-parts":[[2019,10,10]],"date-time":"2019-10-10T18:52:21Z","timestamp":1570733541000},"page":"41-45","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["ChocoPy: a programming language for compilers courses"],"prefix":"10.1145","author":[{"given":"Rohan","family":"Padhye","sequence":"first","affiliation":[{"name":"University of California at Berkeley, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Koushik","family":"Sen","sequence":"additional","affiliation":[{"name":"University of California at Berkeley, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Paul N.","family":"Hilfinger","sequence":"additional","affiliation":[{"name":"University of California at Berkeley, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,10,25]]},"reference":[{"doi-asserted-by":"publisher","key":"e_1_3_2_1_1_1","DOI":"10.1145\/1473195.1473196"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_2_1","DOI":"10.1145\/381841.381847"},{"key":"e_1_3_2_1_3_1","volume-title":"Appel and Jens Palsberg","author":"Andrew","year":"2003","unstructured":"Andrew W. Appel and Jens Palsberg . 2003 . Modern Compiler Implementation in Java (2nd ed.). Cambridge University Press . Andrew W. Appel and Jens Palsberg. 2003. Modern Compiler Implementation in Java (2nd ed.). Cambridge University Press."},{"key":"e_1_3_2_1_4_1","first-page":"173","article-title":"SOOL, a Simple Object-Oriented Language. In Foundations of object-oriented languages: types and semantics. MIT press, Cambridge, Massachusetts","volume":"10","author":"Bruce Kim B","year":"2002","unstructured":"Kim B Bruce . 2002 . SOOL, a Simple Object-Oriented Language. In Foundations of object-oriented languages: types and semantics. MIT press, Cambridge, Massachusetts , Chapter 10 , 173 \u2013 200 . Kim B Bruce. 2002. SOOL, a Simple Object-Oriented Language. In Foundations of object-oriented languages: types and semantics. MIT press, Cambridge, Massachusetts, Chapter 10, 173\u2013200.","journal-title":"Chapter"},{"unstructured":"Ryan Gonzalez Philip House Ivan Levkivskyi Lisa Roach and Guido van Rossum. 2016. PEP 526 \u2013 Syntax for Variable Annotations. https: \/\/www.python.org\/dev\/peps\/pep-0526\/ .  Ryan Gonzalez Philip House Ivan Levkivskyi Lisa Roach and Guido van Rossum. 2016. PEP 526 \u2013 Syntax for Variable Annotations. https: \/\/www.python.org\/dev\/peps\/pep-0526\/ .","key":"e_1_3_2_1_5_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_6_1","DOI":"10.1145\/503502.503505"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_7_1","DOI":"10.1145\/3133850.3133857"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_8_1","DOI":"10.1145\/364447.364525"},{"key":"e_1_3_2_1_9_1","volume-title":"Venus: RISC-V instruction set simulator built for education. https:\/\/github.com\/kvakil\/venus Retrieved","author":"Vakil Keyhan","year":"2017","unstructured":"Keyhan Vakil . 2017 . Venus: RISC-V instruction set simulator built for education. https:\/\/github.com\/kvakil\/venus Retrieved Sept 1, 2018. Keyhan Vakil. 2017. Venus: RISC-V instruction set simulator built for education. https:\/\/github.com\/kvakil\/venus Retrieved Sept 1, 2018."},{"unstructured":"Guido van Rossum Jukka Lehtosalo and \u0141ukasz Langa. 2014. PEP 484 \u2013 Type Hints. https:\/\/www.python.org\/dev\/peps\/pep-0484\/ .  Guido van Rossum Jukka Lehtosalo and \u0141ukasz Langa. 2014. PEP 484 \u2013 Type Hints. https:\/\/www.python.org\/dev\/peps\/pep-0484\/ .","key":"e_1_3_2_1_10_1"},{"doi-asserted-by":"publisher","key":"e_1_3_2_1_11_1","DOI":"10.1145\/1121341.1121371"}],"event":{"sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"acronym":"SPLASH '19","name":"SPLASH '19: 2019 ACM SIGPLAN International Conference on Systems, Programming, Languages, and Applications: Software for Humanity","location":"Athens Greece"},"container-title":["Proceedings of the 2019 ACM SIGPLAN Symposium on SPLASH-E"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3358711.3361627","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3358711.3361627","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:26Z","timestamp":1750202006000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3358711.3361627"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,10,25]]},"references-count":11,"alternative-id":["10.1145\/3358711.3361627","10.1145\/3358711"],"URL":"https:\/\/doi.org\/10.1145\/3358711.3361627","relation":{},"subject":[],"published":{"date-parts":[[2019,10,25]]},"assertion":[{"value":"2019-10-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}