{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:35Z","timestamp":1772164115464,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":14,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,9,17]],"date-time":"2018-09-17T00:00:00Z","timestamp":1537142400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/100000001","name":"National Science Foundation","doi-asserted-by":"publisher","award":["1319880, 1521539, 1704041"],"award-info":[{"award-number":["1319880, 1521539, 1704041"]}],"id":[{"id":"10.13039\/100000001","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,9,17]]},"DOI":"10.1145\/3242744.3242753","type":"proceedings-article","created":{"date-parts":[[2018,9,18]],"date-time":"2018-09-18T08:11:39Z","timestamp":1537258299000},"page":"94-105","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":5,"title":["Type variables in patterns"],"prefix":"10.1145","author":[{"given":"Richard A.","family":"Eisenberg","sequence":"first","affiliation":[{"name":"Bryn Mawr College, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Joachim","family":"Breitner","sequence":"additional","affiliation":[{"name":"University of Pennsylvania, USA"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Simon","family":"Peyton Jones","sequence":"additional","affiliation":[{"name":"Microsoft, UK"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2018,9,17]]},"reference":[{"key":"e_1_3_2_1_1_1","unstructured":"Joachim Breitner. 2018. Allow ScopedTypeVariables to refer to types. GHC proposal. https:\/\/github.com\/ghc-proposals\/ghc-proposals\/pull\/128  Joachim Breitner. 2018. Allow ScopedTypeVariables to refer to types. GHC proposal. https:\/\/github.com\/ghc-proposals\/ghc-proposals\/pull\/128"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040306"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535856"},{"key":"e_1_3_2_1_4_1","volume-title":"Ahmed","author":"Eisenberg Richard A.","year":"2016","unstructured":"Richard A. Eisenberg , Stephanie Weirich , and Hamidhasan G . Ahmed . 2016 . Visible Type Application. In ESOP (LNCS), Vol. 9632 . Springer , 229\u2013254. Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed. 2016. Visible Type Application. In ESOP (LNCS), Vol. 9632. Springer, 229\u2013254."},{"key":"e_1_3_2_1_5_1","volume-title":"Logical Foundations of Functional Programming","author":"Girard J-Y","unstructured":"J-Y Girard . 1990. The System F of variable types: fifteen years later . In Logical Foundations of Functional Programming , G Huet (Ed.). Addison-Wesley . J-Y Girard. 1990. The System F of variable types: fifteen years later. In Logical Foundations of Functional Programming, G Huet (Ed.). Addison-Wesley."},{"key":"e_1_3_2_1_6_1","volume-title":"The Definition of Standard ML (Revised)","author":"Milner Robin","unstructured":"Robin Milner , Mads Tofte , Robert Harper , and David MacQueen . 1997. The Definition of Standard ML (Revised) . MIT Press , Cambridge, Massachusetts . xii+114 pages. Robin Milner, Mads Tofte, Robert Harper, and David MacQueen. 1997. The Definition of Standard ML (Revised). MIT Press, Cambridge, Massachusetts. xii+114 pages."},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006034"},{"key":"e_1_3_2_1_8_1","volume-title":"A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday (LNCS)","author":"Peyton Jones Simon L.","unstructured":"Simon L. Peyton Jones , Stephanie Weirich , Richard A. Eisenberg , and Dimitrios Vytiniotis . 2016. A Reflection on Types . In A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday (LNCS) , Vol. 9600 . Springer , 292\u2013317. Simon L. Peyton Jones, Stephanie Weirich, Richard A. Eisenberg, and Dimitrios Vytiniotis. 2016. A Reflection on Types. In A List of Successes That Can Change the World - Essays Dedicated to Philip Wadler on the Occasion of His 60th Birthday (LNCS), Vol. 9600. Springer, 292\u2013317."},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976002.2976013"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596599"},{"key":"e_1_3_2_1_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804302.2804314"},{"key":"e_1_3_2_1_12_1","unstructured":"Emmanuel Suarez. 2017. Binding existential type variables. GHC proposal. https:\/\/github.com\/ghc-proposals\/ghc-proposals\/pull\/96  Emmanuel Suarez. 2017. Binding existential type variables. GHC proposal. https:\/\/github.com\/ghc-proposals\/ghc-proposals\/pull\/96"},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190315.1190324"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796811000098"}],"event":{"name":"ICFP '18: 23nd ACM SIGPLAN International Conference on Functional Programming","location":"St. Louis MO USA","acronym":"ICFP '18","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"]},"container-title":["Proceedings of the 11th ACM SIGPLAN International Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3242744.3242753","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3242744.3242753","content-type":"application\/pdf","content-version":"vor","intended-application":"syndication"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3242744.3242753","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T20:57:22Z","timestamp":1750193842000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3242744.3242753"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,9,17]]},"references-count":14,"alternative-id":["10.1145\/3242744.3242753","10.1145\/3242744"],"URL":"https:\/\/doi.org\/10.1145\/3242744.3242753","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3299711.3242753","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,9,17]]},"assertion":[{"value":"2018-09-17","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}