{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,19]],"date-time":"2025-06-19T04:10:58Z","timestamp":1750306258706,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,1,2]],"date-time":"2017-01-02T00:00:00Z","timestamp":1483315200000},"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,1,2]]},"DOI":"10.1145\/3018882.3018888","type":"proceedings-article","created":{"date-parts":[[2016,12,22]],"date-time":"2016-12-22T21:20:29Z","timestamp":1482441629000},"page":"89-98","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":7,"title":["Cost versus precision for approximate typing for Python"],"prefix":"10.1145","author":[{"given":"Levin","family":"Fritz","sequence":"first","affiliation":[{"name":"Utrecht University, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jurriaan","family":"Hage","sequence":"additional","affiliation":[{"name":"Utrecht University, Netherlands"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,1,2]]},"reference":[{"key":"e_1_3_2_1_1_1","volume-title":"Dissertation","author":"Agesen O.","year":"1996","unstructured":"O. Agesen . Concrete type inference: Delivering object-oriented applications . Dissertation , Jan 1996 . O. Agesen. Concrete type inference: Delivering object-oriented applications. Dissertation, Jan 1996."},{"key":"e_1_3_2_1_3_1","volume-title":"8th International Python Conference","author":"Aycock J.","year":"2000","unstructured":"J. Aycock . Aggressive type inference . 8th International Python Conference , Jan 2000 . J. Aycock. Aggressive type inference. 8th International Python Conference, Jan 2000."},{"key":"e_1_3_2_1_5_1","volume-title":"Master Thesis","author":"Cannon B.","year":"2005","unstructured":"B. Cannon . Localized type inference of atomic types in Python . Master Thesis , Jun 2005 . B. Cannon. Localized type inference of atomic types in Python. Master Thesis, Jun 2005."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/113445.113469"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1111037.1111059"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/1529282.1529700"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640089.1640110"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2048066.2048114"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-03237-0_17"},{"key":"e_1_3_2_1_12_1","volume-title":"The mypy system","author":"Lehtosalo J.","year":"2014","unstructured":"J. Lehtosalo . The mypy system , 2014 . http:\/\/www.mypy-lang.org. M. Madsen, P .S\u00f8rensen, and K. Kristensen. Ecstatic \u2013 type inference for Ruby using the cartesian product algorithm. Technical report, Aalborg Universitet , 2007. https:\/\/services.cs.aau.dk\/public\/tools\/ library\/details.php?id=1181807983. J. Lehtosalo. The mypy system, 2014. http:\/\/www.mypy-lang.org. M. Madsen, P.S\u00f8rensen, and K. Kristensen. Ecstatic \u2013 type inference for Ruby using the cartesian product algorithm. Technical report, Aalborg Universitet, 2007. https:\/\/services.cs.aau.dk\/public\/tools\/ library\/details.php?id=1181807983."},{"key":"e_1_3_2_1_13_1","volume-title":"Proc. of DYLA","author":"Maia E.","year":"2011","unstructured":"E. Maia , N. Moreira , and R. Reis . A static type inference for Python . In Proc. of DYLA , 2011 . E. Maia, N. Moreira, and R. Reis. A static type inference for Python. In Proc. of DYLA, 2011."},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1044834.1044835"},{"key":"e_1_3_2_1_15_1","volume-title":"Principles of Program Analysis","author":"Nielson F.","year":"2005","unstructured":"F. Nielson , H. R. Nielson , and C. Hankin . Principles of Program Analysis . Springer Verlag , 2005 . F. Nielson, H. R. Nielson, and C. Hankin. Principles of Program Analysis. Springer Verlag, 2005."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/117954.117965"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/1640134.1640145"},{"key":"e_1_3_2_1_18_1","volume-title":"Master Thesis","author":"Salib M.","year":"2004","unstructured":"M. Salib . Starkiller : A static type inferencer and compiler for Python . Master Thesis , May 2004 . M. Salib. Starkiller: A static type inferencer and compiler for Python. Master Thesis, May 2004."},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/2394758.2394762"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/1926385.1926390"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/2678015.2682535"},{"key":"e_1_3_2_1_22_1","unstructured":"ACM. ISBN 978-1-4503-3297-2.  ACM. ISBN 978-1-4503-3297-2."},{"key":"e_1_3_2_1_23_1","volume-title":"Mar","author":"van Rossum G.","year":"2011","unstructured":"G. van Rossum and F. L. Drake . The Python language reference, release 3.2 , Mar 2011 . G. van Rossum and F. L. Drake. The Python language reference, release 3.2, Mar 2011."},{"key":"e_1_3_2_1_24_1","unstructured":"J. Verlaguet J. Beales E. Letuchy G. Levi J. Marcey E. Meijer A. Menghrajani B. O\u2019Sullivan D. Paroski J. Pearce J. Pobar and J. Van Dyke Watzman. The Hack language. http:\/\/hacklang.org consulted Oct. 2014.  J. Verlaguet J. Beales E. Letuchy G. Levi J. Marcey E. Meijer A. Menghrajani B. O\u2019Sullivan D. Paroski J. Pearce J. Pobar and J. Van Dyke Watzman. The Hack language. http:\/\/hacklang.org consulted Oct. 2014."},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2384616.2384658"}],"event":{"name":"POPL '17: The 44th Annual ACM SIGPLAN Symposium on Principles of Programming Languages","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","SIGLOG ACM Special Interest Group on Logic and Computation","SIGACT ACM Special Interest Group on Algorithms and Computation Theory"],"location":"Paris France","acronym":"POPL '17"},"container-title":["Proceedings of the 2017 ACM SIGPLAN Workshop on Partial Evaluation and Program Manipulation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3018882.3018888","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3018882.3018888","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:24:12Z","timestamp":1750220652000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3018882.3018888"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,1,2]]},"references-count":23,"alternative-id":["10.1145\/3018882.3018888","10.1145\/3018882"],"URL":"https:\/\/doi.org\/10.1145\/3018882.3018888","relation":{},"subject":[],"published":{"date-parts":[[2017,1,2]]},"assertion":[{"value":"2017-01-02","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}