{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T20:08:54Z","timestamp":1762459734185,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,8,18]],"date-time":"2019-08-18T00:00:00Z","timestamp":1566086400000},"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,8,18]]},"DOI":"10.1145\/3331542.3342571","type":"proceedings-article","created":{"date-parts":[[2019,7,29]],"date-time":"2019-07-29T20:51:45Z","timestamp":1564433505000},"page":"36-47","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":2,"title":["Runtime type safety for Erlang\/otp behaviours"],"prefix":"10.1145","author":[{"given":"Joseph","family":"Harrison","sequence":"first","affiliation":[{"name":"University of Kent, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,8,18]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159789.1159792"},{"volume-title":"RV (Lecture Notes in Computer Science)","author":"Attard Duncan Paul","key":"e_1_3_2_1_2_1"},{"volume-title":"PLI01 Erlang Workshop.","year":"2001","author":"Carlsson Richard","key":"e_1_3_2_1_3_1"},{"key":"e_1_3_2_1_4_1","unstructured":"Richard Carlsson. 2009. cerl.erl Erlang\/OTP compiler application. https:\/\/github.com\/erlang\/otp\/blob\/41672f4\/lib\/compiler\/src\/cerl.erl  Richard Carlsson. 2009. cerl.erl Erlang\/OTP compiler application. https:\/\/github.com\/erlang\/otp\/blob\/41672f4\/lib\/compiler\/src\/cerl.erl"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/3123569.3123570"},{"volume-title":"PADL (Lecture Notes in Computer Science)","author":"Christakis Maria","key":"e_1_3_2_1_6_1"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/351240.351266"},{"key":"e_1_3_2_1_8_1","unstructured":"Ericsson A.B. 2019. Erlang Run-Time System Application (ERTS) User\u2019s Guide (10.3 ed.). Ericsson A.B. http:\/\/erlang.org\/doc\/apps\/erts\/users_ guide.html  Ericsson A.B. 2019. Erlang Run-Time System Application (ERTS) User\u2019s Guide (10.3 ed.). Ericsson A.B. http:\/\/erlang.org\/doc\/apps\/erts\/users_ guide.html"},{"key":"e_1_3_2_1_9_1","unstructured":"Ericsson A.B. 2019. STDLIB Reference Manual (3.8 ed.). Ericsson A.B. http:\/\/erlang.org\/doc\/apps\/stdlib\/index.html  Ericsson A.B. 2019. STDLIB Reference Manual (3.8 ed.). Ericsson A.B. http:\/\/erlang.org\/doc\/apps\/stdlib\/index.html"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.4204\/EPTCS.223.3"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10703-014-0217-9"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1291151.1291171"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034654.2034664"},{"key":"e_1_3_2_1_14_1","unstructured":"Bj\u00f6rn Gustavsson. 2018. Core Erlang by example. http:\/\/blog.erlang. org\/core-erlang-by-example\/  Bj\u00f6rn Gustavsson. 2018. Core Erlang by example. http:\/\/blog.erlang. org\/core-erlang-by-example\/"},{"key":"e_1_3_2_1_15_1","unstructured":"Bj\u00f6rn Gustavsson. 2018. Core Erlang optimisations. http:\/\/blog.erlang. org\/core-erlang-optimizations\/  Bj\u00f6rn Gustavsson. 2018. Core Erlang optimisations. http:\/\/blog.erlang. org\/core-erlang-optimizations\/"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/3239332.3242765"},{"key":"e_1_3_2_1_17_1","unstructured":"Joseph Harrison. 2019. OTyPe: Proof-of-concept runtime monitoring for gen_server.  Joseph Harrison. 2019. OTyPe: Proof-of-concept runtime monitoring for gen_server."},{"key":"e_1_3_2_1_18_1","unstructured":"Huiqing Li and Simon Thompson. 2011. A User-extensible Refactoring Tool for Erlang Programs. Technical report. University of Kent. 182\u2013196 pages.  Huiqing Li and Simon Thompson. 2011. A User-extensible Refactoring Tool for Erlang Programs. Technical report. University of Kent. 182\u2013196 pages."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.1145\/1088361.1088366"},{"key":"e_1_3_2_1_20_1","unstructured":"Tobias Lindahl and Kostis Sagonas. 2006. Dialyzer a DIscrepancy AnaLYZer for ERlang programs. http:\/\/erlang.org\/doc\/man\/dialyzer. html  Tobias Lindahl and Kostis Sagonas. 2006. Dialyzer a DIscrepancy AnaLYZer for ERlang programs. http:\/\/erlang.org\/doc\/man\/dialyzer. html"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1140335.1140356"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/3033019.3033031"},{"key":"e_1_3_2_1_23_1","unstructured":"Josef Svenningsson. 2018. Gradualizer. https:\/\/github.com\/josefs\/ Gradualizer  Josef Svenningsson. 2018. Gradualizer. https:\/\/github.com\/josefs\/ Gradualizer"}],"event":{"name":"ICFP '19: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Berlin Germany","acronym":"ICFP '19"},"container-title":["Proceedings of the 18th ACM SIGPLAN International Workshop on Erlang"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3331542.3342571","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3331542.3342571","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:38Z","timestamp":1750202018000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3331542.3342571"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,18]]},"references-count":23,"alternative-id":["10.1145\/3331542.3342571","10.1145\/3331542"],"URL":"https:\/\/doi.org\/10.1145\/3331542.3342571","relation":{},"subject":[],"published":{"date-parts":[[2019,8,18]]},"assertion":[{"value":"2019-08-18","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}