{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,4,10]],"date-time":"2026-04-10T03:11:38Z","timestamp":1775790698275,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":18,"publisher":"ACM","license":[{"start":{"date-parts":[[2020,9,2]],"date-time":"2020-09-02T00:00:00Z","timestamp":1599004800000},"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":[[2020,9,2]]},"DOI":"10.1145\/3462172.3462196","type":"proceedings-article","created":{"date-parts":[[2021,7,23]],"date-time":"2021-07-23T22:06:52Z","timestamp":1627078012000},"page":"104-114","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Resource Analysis for Lazy Evaluation with Polynomial Potential"],"prefix":"10.1145","author":[{"given":"Sara","family":"Moreira","sequence":"first","affiliation":[{"name":"Universidade do Porto, Portugal"}]},{"given":"Pedro","family":"Vasconcelos","sequence":"additional","affiliation":[{"name":"Universidade do Porto, Portugal"}]},{"given":"M\u00e1rio","family":"Florido","sequence":"additional","affiliation":[{"name":"Universidade do Porto, Portugal"}]}],"member":"320","published-online":{"date-parts":[[2021,7,23]]},"reference":[{"key":"e_1_3_2_1_2_1","doi-asserted-by":"crossref","unstructured":"Jan Hoffmann Klaus Aehlig and Martin Hofmann. 2011. Multivariate amortized resource analysis. In ACM SIGPLAN Notices Vol.\u00a046. ACM 357\u2013370.  Jan Hoffmann Klaus Aehlig and Martin Hofmann. 2011. Multivariate amortized resource analysis. In ACM SIGPLAN Notices Vol.\u00a046. ACM 357\u2013370.","DOI":"10.1145\/1925844.1926427"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"crossref","unstructured":"Jan Hoffmann Ankush Das and Shu-Chun Weng. 2017. Towards automatic resource bound analysis for OCaml. In ACM SIGPLAN Notices Vol.\u00a052. ACM 359\u2013373.  Jan Hoffmann Ankush Das and Shu-Chun Weng. 2017. Towards automatic resource bound analysis for OCaml. In ACM SIGPLAN Notices Vol.\u00a052. ACM 359\u2013373.","DOI":"10.1145\/3093333.3009842"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-17164-2_13"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-11957-6_16"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"crossref","unstructured":"Martin Hofmann and Steffen Jost. 2003. Static prediction of heap space usage for first-order functional programs. In ACM SIGPLAN Notices Vol.\u00a038. ACM 185\u2013197.  Martin Hofmann and Steffen Jost. 2003. Static prediction of heap space usage for first-order functional programs. In ACM SIGPLAN Notices Vol.\u00a038. ACM 185\u2013197.","DOI":"10.1145\/640128.604148"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_3"},{"key":"e_1_3_2_1_8_1","volume-title":"Why Functional Programming Matters. (05","author":"Hughes John","year":"1999","unstructured":"John Hughes and Chalmers Hogskola . 1999. Why Functional Programming Matters. (05 1999 ). John Hughes and Chalmers Hogskola. 1999. Why Functional Programming Matters. (05 1999)."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"crossref","unstructured":"Steffen Jost Kevin Hammond Hans-Wolfgang Loidl and Martin Hofmann. 2010. Static determination of quantitative resource usage for higher-order programs. In ACM Sigplan Notices Vol.\u00a045. ACM 223\u2013236.  Steffen Jost Kevin Hammond Hans-Wolfgang Loidl and Martin Hofmann. 2010. Static determination of quantitative resource usage for higher-order programs. In ACM Sigplan Notices Vol.\u00a045. ACM 223\u2013236.","DOI":"10.1145\/1707801.1706327"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1007\/s10817-016-9398-9"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/158511.158618"},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/2524713.2524722"},{"key":"e_1_3_2_1_13_1","volume-title":"Principles of program analysis","author":"Nielson Flemming","unstructured":"Flemming Nielson , Hanne\u00a0 R Nielson , and Chris Hankin . 2015. Principles of program analysis . Springer . Flemming Nielson, Hanne\u00a0R Nielson, and Chris Hankin. 2015. Principles of program analysis. Springer."},{"key":"e_1_3_2_1_14_1","volume-title":"Purely functional data structures","author":"Okasaki Chris","unstructured":"Chris Okasaki . 1999. Purely functional data structures . Cambridge University Press . Chris Okasaki. 1999. Purely functional data structures. Cambridge University Press."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002712"},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/2364527.2364575"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1137\/0606031"},{"key":"e_1_3_2_1_18_1","volume-title":"Programming Languages and Systems","author":"Vasconcelos Pedro","unstructured":"Pedro Vasconcelos , Steffen Jost , M\u00e1rio Florido , and Kevin Hammond . 2015. Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages . In Programming Languages and Systems , Jan Vitek(Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg , 787\u2013811. Pedro Vasconcelos, Steffen Jost, M\u00e1rio Florido, and Kevin Hammond. 2015. Type-Based Allocation Analysis for Co-recursion in Lazy Functional Languages. In Programming Languages and Systems, Jan Vitek(Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 787\u2013811."},{"key":"e_1_3_2_1_19_1","volume-title":"Projections for strictness analysis","author":"Wadler Philip","unstructured":"Philip Wadler and R.\u00a0J.\u00a0 M. Hughes . 1987. Projections for strictness analysis . In Functional Programming Languages and Computer Architecture, Gilles Kahn (Ed.). Springer Berlin Heidelberg , Berlin, Heidelberg , 385\u2013407. Philip Wadler and R.\u00a0J.\u00a0M. Hughes. 1987. Projections for strictness analysis. In Functional Programming Languages and Computer Architecture, Gilles Kahn (Ed.). Springer Berlin Heidelberg, Berlin, Heidelberg, 385\u2013407."}],"event":{"name":"IFL 2020: 32nd Symposium on Implementation and Application of Functional Languages","location":"Canterbury United Kingdom","acronym":"IFL 2020"},"container-title":["Proceedings of the 32nd Symposium on Implementation and Application of Functional Languages"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3462172.3462196","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3462172.3462196","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:17:34Z","timestamp":1750191454000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3462172.3462196"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2020,9,2]]},"references-count":18,"alternative-id":["10.1145\/3462172.3462196","10.1145\/3462172"],"URL":"https:\/\/doi.org\/10.1145\/3462172.3462196","relation":{},"subject":[],"published":{"date-parts":[[2020,9,2]]},"assertion":[{"value":"2021-07-23","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}