{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,1,9]],"date-time":"2026-01-09T03:11:21Z","timestamp":1767928281351,"version":"3.49.0"},"publisher-location":"New York, NY, USA","reference-count":12,"publisher":"ACM","license":[{"start":{"date-parts":[[2006,7,10]],"date-time":"2006-07-10T00:00:00Z","timestamp":1152489600000},"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":[[2006,7,10]]},"DOI":"10.1145\/1140335.1140356","type":"proceedings-article","created":{"date-parts":[[2006,7,24]],"date-time":"2006-07-24T16:53:01Z","timestamp":1153759981000},"page":"167-178","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":55,"title":["Practical type inference based on success typings"],"prefix":"10.1145","author":[{"given":"Tobias","family":"Lindahl","sequence":"first","affiliation":[{"name":"Uppsala University, Sweden"}]},{"given":"Konstantinos","family":"Sagonas","sequence":"additional","affiliation":[{"name":"Uppsala University, Sweden and National Technical University of Athens, Greece"}]}],"member":"320","published-online":{"date-parts":[[2006,7,10]]},"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","doi-asserted-by":"publisher","DOI":"10.1145\/174675.177847"},{"key":"e_1_3_2_1_3_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_4_1","volume-title":"Proceedings of the PLI'01 Erlang Workshop","author":"Carlsson R.","year":"2001"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113469"},{"key":"e_1_3_2_1_6_1","unstructured":"P.\n       \n      Deransart M. V.\n       \n      Hermenegildo and \n      \n      \n      J.\n       \n      Maluszy\u0144ski editors\n      \n  \n  . \n  Analysis and Visualization Tools for Constraint Programming Constraint Debugging (DiSCiPl project) volume \n  1870\n   of \n  LNCS\n  . \n  Springer 2000\n  .   P. Deransart M. V. Hermenegildo and J. Maluszy\u0144ski editors. Analysis and Visualization Tools for Constraint Programming Constraint Debugging (DiSCiPl project) volume 1870 of LNCS. Springer 2000."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796801004208"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.scico.2005.02.006"},{"key":"e_1_3_2_1_9_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_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/258948.258962"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/940880.940888"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/239912.239917"}],"event":{"name":"PPDP06: Principles and Practice of Declarative Programming","location":"Venice Italy","acronym":"PPDP06","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 8th ACM SIGPLAN international conference on Principles and practice of declarative programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1140335.1140356","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1140335.1140356","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T15:06:24Z","timestamp":1750259184000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1140335.1140356"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2006,7,10]]},"references-count":12,"alternative-id":["10.1145\/1140335.1140356","10.1145\/1140335"],"URL":"https:\/\/doi.org\/10.1145\/1140335.1140356","relation":{},"subject":[],"published":{"date-parts":[[2006,7,10]]},"assertion":[{"value":"2006-07-10","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}