{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:25:21Z","timestamp":1750307121929,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":7,"publisher":"ACM","license":[{"start":{"date-parts":[[2011,9,23]],"date-time":"2011-09-23T00:00:00Z","timestamp":1316736000000},"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":[[2011,9,23]]},"DOI":"10.1145\/2034654.2034660","type":"proceedings-article","created":{"date-parts":[[2011,9,23]],"date-time":"2011-09-23T15:13:10Z","timestamp":1316790790000},"page":"23-29","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Typed callbacks for more robust behaviours"],"prefix":"10.1145","author":[{"given":"Stavros","family":"Aronis","sequence":"first","affiliation":[{"name":"School of Electrical and Computer Engineering, National Technical University of Athens, Greece, Athens, Greece"}]},{"given":"Konstantinos","family":"Sagonas","sequence":"additional","affiliation":[{"name":"School of Electrical and Computer Engineering, National Technical University of Athens, Greece, Athens, Greece"}]}],"member":"320","published-online":{"date-parts":[[2011,9,23]]},"reference":[{"key":"e_1_3_2_2_1_1","volume-title":"The Pragmatic Bookshelf","author":"Armstrong J.","year":"2007","unstructured":"J. Armstrong . Programming Erlang : Software for a Concurrent World . The Pragmatic Bookshelf , Raleigh, NC , 2007 . J. Armstrong. Programming Erlang: Software for a Concurrent World. The Pragmatic Bookshelf, Raleigh, NC, 2007."},{"key":"e_1_3_2_2_2_1","volume-title":"Erlang Programming: A Concurrent Approach to Software Development. O'Reilly","author":"Cesarini F.","year":"2009","unstructured":"F. Cesarini and S. Thompson . Erlang Programming: A Concurrent Approach to Software Development. O'Reilly , 2009 . F. Cesarini and S. Thompson. Erlang Programming: A Concurrent Approach to Software Development. O'Reilly, 2009."},{"key":"e_1_3_2_2_3_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-30477-7_7"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1140335.1140356"},{"key":"e_1_3_2_2_5_1","volume-title":"Manning","author":"Logan M.","year":"2011","unstructured":"M. Logan , E. Merritt , and R. Carlsson . Erlang and OTP in Action . Manning , Stamford, CT , 2011 . M. Logan, E. Merritt, and R. Carlsson. Erlang and OTP in Action. Manning, Stamford, CT, 2011."},{"key":"e_1_3_2_2_6_1","series-title":"LNCS","first-page":"152","volume-title":"Practical Applications of Declarative Languages: Proceedings of the PADL'1999 Symposium","author":"Mattsson H.","year":"1999","unstructured":"Mnesia@PADL-99 H. Mattsson , H. Nilsson , and C. Wikstr\u00f6m . Mnesia - a distributed robust DBMS for telecommunications applications . In G. Gupta, editor, Practical Applications of Declarative Languages: Proceedings of the PADL'1999 Symposium , volume 1551 of LNCS , pages 152 -- 163 , Berlin, Germany, Jan . 1999 . Springer . Mnesia@PADL-99H. Mattsson, H. Nilsson, and C. Wikstr\u00f6m. Mnesia - a distributed robust DBMS for telecommunications applications. In G. Gupta, editor, Practical Applications of Declarative Languages: Proceedings of the PADL'1999 Symposium, volume 1551 of LNCS, pages 152--163, Berlin, Germany, Jan. 1999. Springer."},{"key":"e_1_3_2_2_7_1","volume-title":"Proceedings of the ACM SIGPLAN Workshop on the Evaluation of Software Defect Detection Tools","author":"Sagonas K.","year":"2005","unstructured":"K. Sagonas . Experience from developing the Dialyzer: A static analysis tool detecting defects in Erlang applications . In Proceedings of the ACM SIGPLAN Workshop on the Evaluation of Software Defect Detection Tools , 2005 . K. Sagonas. Experience from developing the Dialyzer: A static analysis tool detecting defects in Erlang applications. In Proceedings of the ACM SIGPLAN Workshop on the Evaluation of Software Defect Detection Tools, 2005."}],"event":{"name":"ICFP '11: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Tokyo Japan","acronym":"ICFP '11"},"container-title":["Proceedings of the 10th ACM SIGPLAN workshop on Erlang"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2034654.2034660","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/2034654.2034660","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:48:25Z","timestamp":1750240105000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/2034654.2034660"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2011,9,23]]},"references-count":7,"alternative-id":["10.1145\/2034654.2034660","10.1145\/2034654"],"URL":"https:\/\/doi.org\/10.1145\/2034654.2034660","relation":{},"subject":[],"published":{"date-parts":[[2011,9,23]]},"assertion":[{"value":"2011-09-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}