{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:03Z","timestamp":1772164023671,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2010,9,27]],"date-time":"2010-09-27T00:00:00Z","timestamp":1285545600000},"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":[[2010,9,27]]},"DOI":"10.1145\/1863543.1863554","type":"proceedings-article","created":{"date-parts":[[2010,9,28]],"date-time":"2010-09-28T13:41:50Z","timestamp":1285681310000},"page":"63-74","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":3,"title":["Polyvariant flow analysis with higher-ranked polymorphic types and higher-order effect operators"],"prefix":"10.1145","author":[{"given":"Stefan","family":"Holdermans","sequence":"first","affiliation":[{"name":"Vector Fabrics, Eindhoven, Netherlands"}]},{"given":"Jurriaan","family":"Hage","sequence":"additional","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2010,9,27]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129502003845"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_2_2_3_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"118","DOI":"10.1007\/3-540-60360-3_36","volume-title":"Static Analysis, Second International Symposium, SAS'95","author":"Dussart Dirk","year":"1995","unstructured":"}} Dirk Dussart , Fritz Henglein , and Christian Mossin . Polymorphic recursion and subtype qualifications: Polymorphic binding-time analysis in polynominal time . In Alan Mycroft, editor, Static Analysis, Second International Symposium, SAS'95 , Glasgow, UK , September 27, 1995 , Proceedings, volume 983 of Lecture Notes in Computer Science , pages 118 -- 135 . Springer-Verlag , 1995. }}Dirk Dussart, Fritz Henglein, and Christian Mossin. Polymorphic recursion and subtype qualifications: Polymorphic binding-time analysis in polynominal time. In Alan Mycroft, editor, Static Analysis, Second International Symposium, SAS'95, Glasgow, UK, September 27, 1995, Proceedings, volume 983 of Lecture Notes in Computer Science, pages 118--135. Springer-Verlag, 1995."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129508006968"},{"key":"e_1_3_2_2_5_1","series-title":"Lecture Notes in Computer Science","first-page":"260","volume-title":"Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop","author":"Fax\u00e9n Karl-Filip","year":"1996","unstructured":"}} Karl-Filip Fax\u00e9n . Polyvariance , polymorphism and flow analysis . In Mads Dam, editor, Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop , Stockholm, Sweden, June 24-26, 1996 , Selected Papers, volume 1192 of Lecture Notes in Computer Science , pages 260 -- 278 . Springer-Verlag , 1997. }}Karl-Filip Fax\u00e9n. Polyvariance, polymorphism and flow analysis. In Mads Dam, editor, Analysis and Verification of Multiple-Agent Languages, 5th LOMAPS Workshop, Stockholm, Sweden, June 24-26, 1996, Selected Papers, volume 1192 of Lecture Notes in Computer Science, pages 260--278. Springer-Verlag, 1997."},{"key":"e_1_3_2_2_6_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"63","DOI":"10.1007\/3-540-44978-7_5","volume-title":"Programs as Data Objects","author":"Gustavsson J\u00f6rgen","year":"2001","unstructured":"}} J\u00f6rgen Gustavsson and Josef Svenningsson . Constraint abstractions . In Olivier Danvy and Andrzej Filinski, editors, Programs as Data Objects , Second Symposium, PADO 2001 , Aarhus, Denmark, May 21-23, 2001, Proceedings, volume 2053 of Lecture Notes in Computer Science , pages 63 -- 83 . Springer-Verlag , 2001. }}J\u00f6rgen Gustavsson and Josef Svenningsson. Constraint abstractions. In Olivier Danvy and Andrzej Filinski, editors, Programs as Data Objects, Second Symposium, PADO 2001, Aarhus, Denmark, May 21-23, 2001, Proceedings, volume 2053 of Lecture Notes in Computer Science, pages 63--83. Springer-Verlag, 2001."},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/182409.182495"},{"key":"e_1_3_2_2_8_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"287","DOI":"10.1007\/3-540-57880-3_19","volume-title":"Programming Languages and Systems, ESOP'94, 5th European Symposium on Programming","author":"Henglein Fritz","year":"1994","unstructured":"}} Fritz Henglein and Christian Mossin . Polymorphic binding-time analysis . In Donald Sannella, editor, Programming Languages and Systems, ESOP'94, 5th European Symposium on Programming , Edinburgh, U.K. , April 11-13, 1994 , Proceedings, volume 788 of Lecture Notes in Computer Science , pages 287 -- 301 . Springer-Verlag , 1994. }}Fritz Henglein and Christian Mossin. Polymorphic binding-time analysis. In Donald Sannella, editor, Programming Languages and Systems, ESOP'94, 5th European Symposium on Programming, Edinburgh, U.K., April 11-13, 1994, Proceedings, volume 788 of Lecture Notes in Computer Science, pages 287--301. Springer-Verlag, 1994."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1868281.1868283"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/237721.237728"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF00290339"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1016\/0890-5401(92)90020-G"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292556"},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0960129502003857"},{"key":"e_1_3_2_2_15_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"217","DOI":"10.1007\/3-540-12925-1_41","volume-title":"International Symposium on Programming, 6th Colloquium","author":"Mycroft Alan","year":"1984","unstructured":"}} Alan Mycroft . Polymorphic type schemes and recursive definitions . In Manfred Paul and Bernard Robinet, editors, International Symposium on Programming, 6th Colloquium , Toulouse, April 17-19, 1984 , Proceedings, volume 167 of Lecture Notes in Computer Science , pages 217 -- 228 . Springer-Verlag , 1984. }}Alan Mycroft. Polymorphic type schemes and recursive definitions. In Manfred Paul and Bernard Robinet, editors, International Symposium on Programming, 6th Colloquium, Toulouse, April 17-19, 1984, Proceedings, volume 167 of Lecture Notes in Computer Science, pages 217--228. Springer-Verlag, 1984."},{"key":"e_1_3_2_2_16_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"114","DOI":"10.1007\/3-540-48092-7_6","volume-title":"Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel)","author":"Nielson Flemming","year":"1999","unstructured":"}} Flemming Nielson and Hanne Riis Nielson . Type and effect systems . In Ernst-R\u00fcdiger Olderog and Bernhard Steffen, editors, Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel) , volume 1710 of Lecture Notes in Computer Science , pages 114 -- 136 . Springer-Verlag , 1999 . }}Flemming Nielson and Hanne Riis Nielson. Type and effect systems. In Ernst-R\u00fcdiger Olderog and Bernhard Steffen, editors, Correct System Design, Recent Insight and Advances, (to Hans Langmaack on the occasion of his retirement from his professorship at the University of Kiel), volume 1710 of Lecture Notes in Computer Science, pages 114--136. Springer-Verlag, 1999."},{"key":"e_1_3_2_2_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263745"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/379605.379635"},{"key":"e_1_3_2_2_21_1","series-title":"Lecture Notes in Computer Sciences","first-page":"382","volume-title":"Programming Languages and Systems, 9th European Symposium on Programming, ESOP","author":"Scott","year":"2000","unstructured":"}} Scott F. Smith and Tiejun Wang. Polyvariant flow analysis with constrained types . In Gert Smolka, editor, Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000 , Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000, Proceedings, volume 1782 of Lecture Notes in Computer Sciences , pages 382 -- 396 . Springer-Verlag , 2000. }}Scott F. Smith and Tiejun Wang. Polyvariant flow analysis with constrained types. In Gert Smolka, editor, Programming Languages and Systems, 9th European Symposium on Programming, ESOP 2000, Held as Part of the European Joint Conferences on the Theory and Practice of Software, ETAPS 2000, Berlin, Germany, March 25-April 2, 2000, Proceedings, volume 1782 of Lecture Notes in Computer Sciences, pages 382--396. Springer-Verlag, 2000."},{"key":"e_1_3_2_2_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/215465.215552"},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/174675.177855"},{"key":"e_1_3_2_2_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292545"},{"key":"e_1_3_2_2_25_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796801004245"}],"event":{"name":"ICFP '10: ACM SIGPLAN International Conference on Functional Programming","location":"Baltimore Maryland USA","acronym":"ICFP '10","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 15th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1863543.1863554","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1863543.1863554","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T07:39:52Z","timestamp":1750232392000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1863543.1863554"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2010,9,27]]},"references-count":23,"alternative-id":["10.1145\/1863543.1863554","10.1145\/1863543"],"URL":"https:\/\/doi.org\/10.1145\/1863543.1863554","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1932681.1863554","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2010,9,27]]},"assertion":[{"value":"2010-09-27","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}