{"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":1750306104467,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":9,"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.3104045","type":"proceedings-article","created":{"date-parts":[[2017,6,26]],"date-time":"2017-06-26T12:13:28Z","timestamp":1498479208000},"page":"1-2","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Generic Approach to Certified Static Checking of Module-like Constructs"],"prefix":"10.1145","author":[{"given":"Julia","family":"Belyakova","sequence":"first","affiliation":[{"name":"Southern Federal University, Rostov-on-Don, Russia"}]}],"member":"320","published-online":{"date-parts":[[2017,6,18]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Julia Belyakova. 2017. Concept Parameters. (2017). https:\/\/github.com\/julbinb\/concept-params  Julia Belyakova. 2017. Concept Parameters. (2017). https:\/\/github.com\/julbinb\/concept-params"},{"key":"e_1_3_2_1_2_1","unstructured":"Benjamin C. Pierce and Arthur Azevedo de Amorim and Chris Casinghino and Marco Gaboardi and Michael Greenberg and C\u0103t\u0103lin Hri\u0163cu and Vilhelm Sj\u00f6berg and Brent Yorgey. 2016. Software Foundations. Electronic textbook. http:\/\/www.cis.upenn.edu\/~bcpierce\/sf Version 4.0.  Benjamin C. Pierce and Arthur Azevedo de Amorim and Chris Casinghino and Marco Gaboardi and Michael Greenberg and C\u0103t\u0103lin Hri\u0163cu and Vilhelm Sj\u00f6berg and Brent Yorgey. 2016. Software Foundations. Electronic textbook. http:\/\/www.cis.upenn.edu\/~bcpierce\/sf Version 4.0."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-009-9148-3"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535876"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2076021.2048113"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/2318202.2318206"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2983990.2984008"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951924"},{"key":"e_1_3_2_1_9_1","unstructured":"Stephanie Weirich Antoine Voizard Pedro Henrique Avezedo de Amorim and Eisenbergm Richard A. 2017. A Specification for Dependent Types in Haskell. (2017). To appear at ICFP'17.  Stephanie Weirich Antoine Voizard Pedro Henrique Avezedo de Amorim and Eisenbergm Richard A. 2017. A Specification for Dependent Types in Haskell. (2017). To appear at ICFP'17."}],"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.3104045","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3103111.3104045","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.3104045"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,6,18]]},"references-count":9,"alternative-id":["10.1145\/3103111.3104045","10.1145\/3103111"],"URL":"https:\/\/doi.org\/10.1145\/3103111.3104045","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"}}]}}