{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:58:14Z","timestamp":1750309094558,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":8,"publisher":"ACM","license":[{"start":{"date-parts":[[2005,9,26]],"date-time":"2005-09-26T00:00:00Z","timestamp":1127692800000},"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":[[2005,9,26]]},"DOI":"10.1145\/1088361.1088366","type":"proceedings-article","created":{"date-parts":[[2005,11,7]],"date-time":"2005-11-07T17:34:39Z","timestamp":1131384879000},"page":"17-25","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":16,"title":["<scp>TypEr<\/scp>"],"prefix":"10.1145","author":[{"given":"Tobias","family":"Lindahl","sequence":"first","affiliation":[{"name":"Uppsala University, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Konstantinos","family":"Sagonas","sequence":"additional","affiliation":[{"name":"Uppsala University, Sweden"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2005,9,26]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165188"},{"key":"e_1_3_2_1_2_1","unstructured":"J. Armstrong R. Virding C. Wikstr\u00f6m and M. Williams. Concurrent Programming in Erlang. Prentice Hall Europe Herfordshire Great Britain second edition 1996.   J. Armstrong R. Virding C. Wikstr\u00f6m and M. Williams. Concurrent Programming in Erlang. Prentice Hall Europe Herfordshire Great Britain second edition 1996."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796801004208"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237728"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"crossref","unstructured":"T.\n       \n      Lindahl\n     and \n      \n      \n      K.\n       \n      Sagonas\n      \n  \n  . \n  Detecting software defects in telecom applications through lightweight static analysis: A war story. In C. Wei-Ngan editor Programming Languages and Systems: Proceedings of the Second Asian Symposium (APLAS'04) volume \n  3302\n   of \n  LNCS pages \n  91\n  --\n  106\n  . \n  Springer Nov. \n  2004\n  .  T. Lindahl and K. Sagonas. Detecting software defects in telecom applications through lightweight static analysis: A war story. In C. Wei-Ngan editor Programming Languages and Systems: Proceedings of the Second Asian Symposium (APLAS'04) volume 3302 of LNCS pages 91--106. Springer Nov. 2004.","DOI":"10.1007\/978-3-540-30477-7_7"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258962"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/940880.940888"},{"key":"e_1_3_2_1_8_1","series-title":"LNCS","doi-asserted-by":"crossref","first-page":"913","DOI":"10.1007\/3-540-45465-9_78","volume-title":"Proceedings of the 29th International Colloqium on Automata, Languages, and Programming","author":"Wells J. B.","year":"2002"}],"event":{"name":"ERLANG05: Erlang Workshop 2005 ( co-located with ICFP 2005 )","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"],"location":"Tallinn Estonia","acronym":"ERLANG05"},"container-title":["Proceedings of the 2005 ACM SIGPLAN workshop on Erlang"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1088361.1088366","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1088361.1088366","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T22:43:44Z","timestamp":1750286624000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1088361.1088366"}},"subtitle":["a type annotator of Erlang code"],"short-title":[],"issued":{"date-parts":[[2005,9,26]]},"references-count":8,"alternative-id":["10.1145\/1088361.1088366","10.1145\/1088361"],"URL":"https:\/\/doi.org\/10.1145\/1088361.1088366","relation":{},"subject":[],"published":{"date-parts":[[2005,9,26]]},"assertion":[{"value":"2005-09-26","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}