{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:45:41Z","timestamp":1772163941183,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":29,"publisher":"ACM","license":[{"start":{"date-parts":[[2007,10,1]],"date-time":"2007-10-01T00:00:00Z","timestamp":1191196800000},"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":[[2007,10]]},"DOI":"10.1145\/1291151.1291189","type":"proceedings-article","created":{"date-parts":[[2007,10,14]],"date-time":"2007-10-14T08:51:38Z","timestamp":1192351898000},"page":"235-246","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":12,"title":["A generic usage analysis with subeffect qualifiers"],"prefix":"10.1145","author":[{"given":"Jurriaan","family":"Hage","sequence":"first","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}]},{"given":"Stefan","family":"Holdermans","sequence":"additional","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}]},{"given":"Arie","family":"Middelkoop","sequence":"additional","affiliation":[{"name":"Utrecht University, Utrecht, Netherlands"}]}],"member":"320","published-online":{"date-parts":[[2007,10]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"41","DOI":"10.1007\/3-540-57529-4_42","volume-title":"Foundations of Software Technology and Theoretical Computer Science, 13th Conference","author":"Barendsen Erik","year":"1993","unstructured":"Erik Barendsen and Sjaak Smetsers . Conventional and uniqueness typing in graph rewrite systems . In R. K. Shyamasundar, editor, Foundations of Software Technology and Theoretical Computer Science, 13th Conference , Bombay, India, December 15-17, 1993 , Proceedings, volume 761 of Lecture Notes in Computer Science , pages 41 -- 51 . Springer-Verlag , 1993. Erik Barendsen and Sjaak Smetsers. Conventional and uniqueness typing in graph rewrite systems. In R. K. Shyamasundar, editor, Foundations of Software Technology and Theoretical Computer Science, 13th Conference, Bombay, India, December 15-17, 1993, Proceedings, volume 761 of Lecture Notes in Computer Science, pages 41--51. Springer-Verlag, 1993."},{"key":"e_1_3_2_1_2_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"189","DOI":"10.1007\/BFb0026821","volume-title":"Programming Languages: Implementation, Logics and Programs, 7th International Symposium, PLILP'95","author":"Barendsen Erik","year":"1995","unstructured":"Erik Barendsen and Sjaak Smetsers . Uniqueness type inference . In Manuel V. Hermenegildo and S. Doaitse Swierstra, editors, Programming Languages: Implementation, Logics and Programs, 7th International Symposium, PLILP'95 , Utrecht, The Netherlands , September 20-22, 1995 , Proceedings, volume 982 of Lecture Notes in Computer Science , pages 189 -- 206 . Springer-Verlag , 1995. Erik Barendsen and Sjaak Smetsers. Uniqueness type inference. In Manuel V. Hermenegildo and S. Doaitse Swierstra, editors, Programming Languages: Implementation, Logics and Programs, 7th International Symposium, PLILP'95, Utrecht, The Netherlands, September 20-22, 1995, Proceedings, volume 982 of Lecture Notes in Computer Science, pages 189--206. Springer-Verlag, 1995."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_2_1_4_1","series-title":"Lecture Notes in Computer Science","first-page":"181","volume-title":"Implementation and Application of Functional Languages, 18th International Workshop, IFL","author":"de Vries Edsko","year":"2006","unstructured":"Edsko de Vries , Rinus Plasmeijer , and David Abrahamson . Uniqueness typing redefined . In Zolt\u00e1n Horv\u00e1th, Vikt\u00f3ria Zs\u00f3k, and Andrew Butterfield, editors, Implementation and Application of Functional Languages, 18th International Workshop, IFL 2006 , Budapest, Hungary, September 4-6, 2006, Revised Selected Papers, volume 4449 of Lecture Notes in Computer Science , pages 181 -- 198 . Springer-Verlag , 2007. Edsko de Vries, Rinus Plasmeijer, and David Abrahamson. Uniqueness typing redefined. In Zolt\u00e1n Horv\u00e1th, Vikt\u00f3ria Zs\u00f3k, and Andrew Butterfield, editors, Implementation and Application of Functional Languages, 18th International Workshop, IFL 2006, Budapest, Hungary, September 4-6, 2006, Revised Selected Papers, volume 4449 of Lecture Notes in Computer Science, pages 181--198. Springer-Verlag, 2007."},{"key":"e_1_3_2_1_5_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"200","DOI":"10.1007\/11924661_13","volume-title":"Programming Languages and Systems, 4th Asian Symposium, APLAS","author":"Gedell Tobias","year":"2006","unstructured":"Tobias Gedell , J\u00f6rgen Gustavsson , and Josef Svenningsson . Polymorphism , subtyping, whole program analysis and accurate data types in usage analysis . In Naoki Kobayashi, editor, Programming Languages and Systems, 4th Asian Symposium, APLAS 2006 , Sydney, Australia, November 8-10, 2006, Proceedings, volume 4279 of Lecture Notes in Computer Science , pages 200 -- 216 . Springer-Verlag , 1999. Tobias Gedell, J\u00f6rgen Gustavsson, and Josef Svenningsson. Polymorphism, subtyping, whole program analysis and accurate data types in usage analysis. In Naoki Kobayashi, editor, Programming Languages and Systems, 4th Asian Symposium, APLAS 2006, Sydney, Australia, November 8-10, 2006, Proceedings, volume 4279 of Lecture Notes in Computer Science, pages 200--216. Springer-Verlag, 1999."},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/319838.319848"},{"key":"e_1_3_2_1_8_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1007\/3-540-18317-5_22","volume-title":"Functional Programming Languages and Computer Architecture","author":"Goldberg Benjamin","year":"1987","unstructured":"Benjamin Goldberg . Detecting sharing of partial applications in functional programs . In Gilles Kahn, editor, Functional Programming Languages and Computer Architecture , Portland, Oregon, USA , September 14-16, 1987 , Proceedings, volume 274 of Lecture Notes in Computer Science , pages 408 -- 425 . Springer-Verlag , 1987. Benjamin Goldberg. Detecting sharing of partial applications in functional programs. In Gilles Kahn, editor, Functional Programming Languages and Computer Architecture, Portland, Oregon, USA, September 14-16, 1987, Proceedings, volume 274 of Lecture Notes in Computer Science, pages 408--425. Springer-Verlag, 1987."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/289423.289427"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1016\/S1571-0661(05)80284-1"},{"key":"e_1_3_2_1_12_1","series-title":"Lecture Notes in Computer Science","first-page":"140","volume-title":"Implementation of Functional Languages, 12th International Workshop, IFL","author":"Gustavsson J\u00f6rgen","year":"2000","unstructured":"J\u00f6rgen Gustavsson and Josef Svenningsson . A usage analysis with bounded usage polymorphism and subtyping . In Markus Mohnen and Pieter W. M. Koopman, editors, Implementation of Functional Languages, 12th International Workshop, IFL 2000 , Aachen, Germany, September 4-7, 2000, Selected Papers, volume 2011 of Lecture Notes in Computer Science , pages 140 -- 157 . Springer-Verlag , 2001. J\u00f6rgen Gustavsson and Josef Svenningsson. A usage analysis with bounded usage polymorphism and subtyping. In Markus Mohnen and Pieter W. M. Koopman, editors, Implementation of Functional Languages, 12th International Workshop, IFL 2000, Aachen, Germany, September 4-7, 2000, Selected Papers, volume 2011 of Lecture Notes in Computer Science, pages 140--157. Springer-Verlag, 2001."},{"key":"e_1_3_2_1_14_1","first-page":"29","article-title":"The principal type-scheme of an object in combinatory logic","volume":"146","author":"Hindley J. Roger","year":"1969","unstructured":"J. Roger Hindley . The principal type-scheme of an object in combinatory logic . Transactions of the Americal Mathematical Society , 146 : 29 -- 60 , 1969 . J. Roger Hindley. The principal type-scheme of an object in combinatory logic. Transactions of the Americal Mathematical Society, 146:29--60, 1969.","journal-title":"Transactions of the Americal Mathematical Society"},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"crossref","DOI":"10.1017\/CBO9780511663086","volume-title":"Qualified Types: Theory and Practice","author":"Jones Mark P.","year":"1994","unstructured":"Mark P. Jones . Qualified Types: Theory and Practice . Cambridge University Press , Cambridge , 1994 . Mark P. Jones. Qualified Types: Theory and Practice. Cambridge University Press, Cambridge, 1994."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224198"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"crossref","unstructured":"Stefan\n      Kaes\n    .\n  Parametric overloading in polymorphic programming languages\n  . In Harald Ganzinger editor ESOP '88 2nd European Symposium on Programming Nancy France March 21-24 1988 Proceedings volume \n  300\n   of \n  Lecture Notes in Computer Science pages \n  131\n  --\n  144\n  . \n  Springer-Verlag 1988.   Stefan Kaes. Parametric overloading in polymorphic programming languages. In Harald Ganzinger editor ESOP '88 2nd European Symposium on Programming Nancy France March 21-24 1988 Proceedings volume 300 of Lecture Notes in Computer Science pages 131--144. Springer-Verlag 1988.","DOI":"10.1007\/3-540-19027-9_9"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292546"},{"key":"e_1_3_2_1_19_1","first-page":"144","volume-title":"Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992, Workshops in Computing","author":"Launchbury John","year":"1992","unstructured":"John Launchbury , Andy Gill , John Hughes , Simon Marlow , Simon Peyton Jones , and Philip Wadler . Avoiding unnecessary updates. In John Launchbury and Patrick M. Sansom, editors, Functional Programming, Glasgow 1992 , Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992, Workshops in Computing , pages 144 -- 153 . Springer-Verlag , 1992 . John Launchbury, Andy Gill, John Hughes, Simon Marlow, Simon Peyton Jones, and Philip Wadler. Avoiding unnecessary updates. In John Launchbury and Patrick M. Sansom, editors, Functional Programming, Glasgow 1992, Proceedings of the 1992 Glasgow Workshop on Functional Programming, Ayr, Scotland, 6-8 July 1992, Workshops in Computing, pages 144--153. Springer-Verlag, 1992."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/325694.325708"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-1-4471-3236-3_14"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1016\/0022-0000(78)90014-4"},{"key":"e_1_3_2_1_23_1","series-title":"Lectures Notes in Computer Science","first-page":"112","volume-title":"Implementation of Functional Languages, 9th International Workshop, IFL'97","author":"Mogensen Torben","year":"1997","unstructured":"Torben \u00c6. Mogensen . Types for 0, 1 or many uses . In Chris Clack, Kevin Hammond, and Anthony J. T. Davie, editors, Implementation of Functional Languages, 9th International Workshop, IFL'97 , St. Andrews, Scotland, UK , September 10-12, 1997 , Selected Papers, volume 1467 of Lectures Notes in Computer Science , pages 112 -- 122 . Springer-Verlag , 1998. Torben \u00c6. Mogensen. Types for 0, 1 or many uses. In Chris Clack, Kevin Hammond, and Anthony J. T. Davie, editors, Implementation of Functional Languages, 9th International Workshop, IFL'97, St. Andrews, Scotland, UK, September 10-12, 1997, Selected Papers, volume 1467 of Lectures Notes in Computer Science, pages 112--122. Springer-Verlag, 1998."},{"key":"e_1_3_2_1_24_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 Enst-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 Enst-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_1_25_1","volume-title":"Haskell 98 Language and Libraries: The Revised Report","author":"Jones Simon Peyton","year":"2003","unstructured":"Simon Peyton Jones , editor. Haskell 98 Language and Libraries: The Revised Report . Cambridge University Press , Cambridge , 2003 . Simon Peyton Jones, editor. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press, Cambridge, 2003."},{"key":"e_1_3_2_1_27_1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"408","DOI":"10.1007\/3-540-06859-7_148","volume-title":"Programming Symposium, Proceedings Colloque sur la Programmation","author":"Reynolds John C.","year":"1974","unstructured":"John C. Reynolds . Towards a theory of type structure . In Bernard Robinet, editor, Programming Symposium, Proceedings Colloque sur la Programmation , Paris, France, April 9-11, 1974 , volume 19 of Lecture Notes in Computer Science , pages 408 -- 423 . Springer-Verlag , 1974. John C. Reynolds. Towards a theory of type structure. In Bernard Robinet, editor, Programming Symposium, Proceedings Colloque sur la Programmation, Paris, France, April 9-11, 1974, volume 19 of Lecture Notes in Computer Science, pages 408--423. Springer-Verlag, 1974."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796897002712"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1006\/inco.1994.1046"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224168"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"},{"key":"e_1_3_2_1_33_1","volume-title":"Preliminary Proceedings of the Third Workshop on Types in Compilation (TIC 2000), 2000. The proceedings of the workshop have been published as a technical report (CMU-CS-00-161)","author":"Wansbrough Keith","unstructured":"Keith Wansbrough and Simon Peyton Jones . Simple usage polymorphism . In Preliminary Proceedings of the Third Workshop on Types in Compilation (TIC 2000), 2000. The proceedings of the workshop have been published as a technical report (CMU-CS-00-161) at Carnegie Mellon University. Keith Wansbrough and Simon Peyton Jones. Simple usage polymorphism. In Preliminary Proceedings of the Third Workshop on Types in Compilation (TIC 2000), 2000. The proceedings of the workshop have been published as a technical report (CMU-CS-00-161) at Carnegie Mellon University."},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/292540.292545"}],"event":{"name":"ICFP07: ACM SIGPLAN International Conference on Functional Programming","location":"Freiburg Germany","acronym":"ICFP07","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the 12th ACM SIGPLAN international conference on Functional programming"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1291151.1291189","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1291151.1291189","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T10:52:26Z","timestamp":1750243946000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1291151.1291189"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007,10]]},"references-count":29,"alternative-id":["10.1145\/1291151.1291189","10.1145\/1291151"],"URL":"https:\/\/doi.org\/10.1145\/1291151.1291189","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1291220.1291189","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2007,10]]},"assertion":[{"value":"2007-10-01","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}