{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:05Z","timestamp":1772164025573,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":37,"publisher":"ACM","license":[{"start":{"date-parts":[[2017,9,7]],"date-time":"2017-09-07T00:00:00Z","timestamp":1504742400000},"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,9,7]]},"DOI":"10.1145\/3122955.3122965","type":"proceedings-article","created":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T08:27:52Z","timestamp":1504254472000},"page":"117-132","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":4,"title":["The linearity Monad"],"prefix":"10.1145","author":[{"given":"Jennifer","family":"Paykin","sequence":"first","affiliation":[{"name":"University of Pennsylvania, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Steve","family":"Zdancewic","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2017,9,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"crossref","unstructured":"Thorsten Altenkirch and Alexander S. Green. 2009. The Quantum IO Monad. Cambridge University Press 173\u2013205.  Thorsten Altenkirch and Alexander S. Green. 2009. The Quantum IO Monad. Cambridge University Press 173\u2013205.","DOI":"10.1017\/CBO9781139193313.006"},{"key":"e_1_3_2_1_2_1","volume-title":"Proceedings of the 13th Conference of Foundations of Software Technology and Theoretical Computer Science, Rudrapatna K","author":"Barendsen Erik"},{"key":"e_1_3_2_1_3_1","volume-title":"Lecture Notes in Computer Science","volume":"933","author":"Benton Nick","year":"1995"},{"key":"e_1_3_2_1_4_1","volume-title":"Lecture Notes in Computer Science","volume":"664","author":"Benton Nick","year":"1993"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.5555\/788018.788785"},{"key":"e_1_3_2_1_6_1","unstructured":"Jean-Philippe Bernardy Mathieu Boespflug Ryan R. Newton Simon Peyton Jones and Arnaud Spiwack. 2017. Retrofitting Linear Types. (2017). https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2017\/ 03\/haskell-linear-submitted.pdf  Jean-Philippe Bernardy Mathieu Boespflug Ryan R. Newton Simon Peyton Jones and Arnaud Spiwack. 2017. Retrofitting Linear Types. (2017). https:\/\/www.microsoft.com\/en-us\/research\/wp-content\/uploads\/2017\/ 03\/haskell-linear-submitted.pdf"},{"key":"e_1_3_2_1_7_1","series-title":"Lecture Notes in Computer Science","volume-title":"CONCUR 2010 - Concurrency Theory, Paul Gastin and Fran\u00e7ois Laroussinie (Eds.)","author":"Caires Lu\u00eds"},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/263699.263708"},{"key":"e_1_3_2_1_9_1","unstructured":"Richard Eisenberg Beno\u0131t Valiron and Steve Zdancewic. 2012. Typechecking Linear Data: Quantum Computation in Haskell. (2012).  Richard Eisenberg Beno\u0131t Valiron and Steve Zdancewic. 2012. Typechecking Linear Data: Quantum Computation in Haskell. (2012)."},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/2633357.2633361"},{"key":"e_1_3_2_1_11_1","unstructured":"Richard A. Eisenberg Stephanie Weirich and Hamidhasan G. Ahmed. 2016. Visible Type Application. In Programming Languages and Systems: 25th European Symposium on Programming ESOP 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2016 April 2\u20138 2016 Peter Thiemann (Ed.). Springer Berlin Heidelberg Berlin Heidelberg 229\u2013254.  Richard A. Eisenberg Stephanie Weirich and Hamidhasan G. Ahmed. 2016. Visible Type Application. In Programming Languages and Systems: 25th European Symposium on Programming ESOP 2016 Held as Part of the European Joint Conferences on Theory and Practice of Software ETAPS 2016 April 2\u20138 2016 Peter Thiemann (Ed.). Springer Berlin Heidelberg Berlin Heidelberg 229\u2013254."},{"key":"e_1_3_2_1_12_1","doi-asserted-by":"publisher","DOI":"10.1007\/11693024_2"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/2491956.2462177"},{"key":"e_1_3_2_1_14_1","unstructured":"The Idris Community. 2017. Uniqueness Types. (2017). http:\/\/docs.idris-lang. org\/en\/latest\/reference\/uniqueness-types.html  The Idris Community. 2017. Uniqueness Types. (2017). http:\/\/docs.idris-lang. org\/en\/latest\/reference\/uniqueness-types.html"},{"key":"e_1_3_2_1_15_1","volume-title":"Type Classes with Functional Dependencies. In Programming Languages and Systems: 9th European Symposium on Programming, ESOP","author":"Jones Mark P.","year":"2000"},{"key":"e_1_3_2_1_16_1","unstructured":"P.B. Levy. 2012. Call-By-Push-Value: A Functional\/Imperative Synthesis. Springer Netherlands.  P.B. Levy. 2012. Call-By-Push-Value: A Functional\/Imperative Synthesis. Springer Netherlands."},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of Programming Languages and Systems, 24th European Symposium on Programming, ESOP 2015, Jan Vitek (Ed.)","volume":"9032","author":"Lindley Sam"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976002.2976018"},{"key":"e_1_3_2_1_19_1","doi-asserted-by":"crossref","unstructured":"Saunders Mac Lane. 1978. Categories for the working mathematician. Vol. 5. Springer Science & Business Media.  Saunders Mac Lane. 1978. Categories for the working mathematician. Vol. 5. Springer Science & Business Media.","DOI":"10.1007\/978-1-4757-4721-8"},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/2663171.2663188"},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1932681.1863551"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1708016.1708027"},{"key":"e_1_3_2_1_23_1","volume-title":"Nuttin\u2019. In A List of Successes That Can Change the World: Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday","author":"McBride Conor"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/2951913.2951925"},{"key":"e_1_3_2_1_25_1","unstructured":"M.A. Nielsen and I.L. Chuang. 2010. Quantum Computation and Quantum Information: 10th Anniversary Edition. Cambridge University Press.   M.A. Nielsen and I.L. Chuang. 2010. Quantum Computation and Quantum Information: 10th Anniversary Edition. Cambridge University Press."},{"key":"e_1_3_2_1_26_1","volume-title":"Object-Oriented Programming: 12th European Conference Brussels, Belgium, July 20\u201324, 1998 Proceedings, Eric Jul (Ed.). Springer Berlin Heidelberg","author":"Noble James","year":"1998"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"crossref","unstructured":"E. G. J. M. H. N\u00f6cker J. E. W. Smetsers M. C. J. D. van Eekelen and M. J. Plasmeijer. 1991. Concurrent clean. Springer Berlin Heidelberg Berlin Heidelberg 202\u2013219.  E. G. J. M. H. N\u00f6cker J. E. W. Smetsers M. C. J. D. van Eekelen and M. J. Plasmeijer. 1991. Concurrent clean. Springer Berlin Heidelberg Berlin Heidelberg 202\u2013219.","DOI":"10.1007\/3-540-54152-7_66"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/2837614.2837634"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/3009837.3009894"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804302.2804309"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2544174.2500598"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411286.1411290"},{"key":"e_1_3_2_1_33_1","unstructured":"Robert Rand Jennifer Paykin and Steve Zdancewic. 2017. QWIRE Practice: Formal Verification of Quantum Verification in Coq. (2017). Quantum Physics and Logic (QPL) July 3\u20137 2017 Nijmegen Amsterdam.  Robert Rand Jennifer Paykin and Steve Zdancewic. 2017. QWIRE Practice: Formal Verification of Quantum Verification in Coq. (2017). Quantum Physics and Logic (QPL) July 3\u20137 2017 Nijmegen Amsterdam."},{"key":"e_1_3_2_1_34_1","unstructured":"Neil J. Ross. 2015. Algebraic and Logical Methods in Quantum Computation. Ph.D. Dissertation. Dalhousie University.  Neil J. Ross. 2015. Algebraic and Logical Methods in Quantum Computation. Ph.D. Dissertation. Dalhousie University."},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"crossref","unstructured":"Peter Selinger and Beno\u00eet Valiron. 2009. Quantum Lambda Calculus. Cambridge University Press 135\u2013172.  Peter Selinger and Beno\u00eet Valiron. 2009. Quantum Lambda Calculus. Cambridge University Press 135\u2013172.","DOI":"10.1017\/CBO9781139193313.005"},{"key":"e_1_3_2_1_36_1","unstructured":"Philip Wadler. 1990. Linear types can change the world!. In IFIP TC 2 Working Conference on Programming Concepts and Methods Sea of Galilee Israel. North Holland.  Philip Wadler. 1990. Linear types can change the world!. In IFIP TC 2 Working Conference on Programming Concepts and Methods Sea of Galilee Israel. North Holland."},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/2398856.2364568"}],"event":{"name":"ICFP '17: ACM SIGPLAN International Conference on Functional Programming","location":"Oxford UK","acronym":"ICFP '17","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 10th ACM SIGPLAN International Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3122955.3122965","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3122955.3122965","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T22:11:04Z","timestamp":1750198264000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3122955.3122965"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,7]]},"references-count":37,"alternative-id":["10.1145\/3122955.3122965","10.1145\/3122955"],"URL":"https:\/\/doi.org\/10.1145\/3122955.3122965","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3156695.3122965","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2017,9,7]]},"assertion":[{"value":"2017-09-07","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}