{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,10,30]],"date-time":"2024-10-30T20:27:50Z","timestamp":1730320070984,"version":"3.28.0"},"publisher-location":"New York, NY, USA","reference-count":22,"publisher":"ACM","license":[{"start":{"date-parts":[[2018,6,11]],"date-time":"2018-06-11T00:00:00Z","timestamp":1528675200000},"content-version":"vor","delay-in-days":0,"URL":"http:\/\/www.acm.org\/publications\/policies\/copyright_policy#Background"}],"funder":[{"DOI":"10.13039\/501100003246","name":"Nederlandse Organisatie voor Wetenschappelijk Onderzoek","doi-asserted-by":"publisher","award":["612.001.213"],"id":[{"id":"10.13039\/501100003246","id-type":"DOI","asserted-by":"publisher"}]}],"content-domain":{"domain":["dl.acm.org"],"crossmark-restriction":true},"short-container-title":[],"published-print":{"date-parts":[[2018,6,11]]},"DOI":"10.1145\/3192366.3192389","type":"proceedings-article","created":{"date-parts":[[2018,6,12]],"date-time":"2018-06-12T12:16:01Z","timestamp":1528805761000},"page":"783-796","update-policy":"http:\/\/dx.doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Guarded impredicative polymorphism"],"prefix":"10.1145","author":[{"given":"Alejandro","family":"Serrano","sequence":"first","affiliation":[{"name":"Utrecht University, Netherlands"}]},{"given":"Jurriaan","family":"Hage","sequence":"additional","affiliation":[{"name":"Utrecht University, Netherlands"}]},{"given":"Dimitrios","family":"Vytiniotis","sequence":"additional","affiliation":[{"name":"Microsoft Research, UK"}]},{"given":"Simon","family":"Peyton Jones","sequence":"additional","affiliation":[{"name":"Microsoft Research, UK"}]}],"member":"320","published-online":{"date-parts":[[2018,6,11]]},"reference":[{"key":"e_1_3_2_2_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/944705.944709"},{"key":"e_1_3_2_2_2_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.ic.2008.12.006"},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2500365.2500582"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"crossref","first-page":"229","DOI":"10.1007\/978-3-662-49498-1_10","volume-title":"Proceedings of the 25th European Symposium on Programming Languages and Systems -","volume":"9632","author":"Eisenberg Richard A.","unstructured":"Richard A. Eisenberg , Stephanie Weirich , and Hamidhasan G. Ahmed . 2016. Visible Type Application . In Proceedings of the 25th European Symposium on Programming Languages and Systems - Volume 9632 . Springer-Verlag New York, Inc., New York, NY, USA , 229 - 254 . Richard A. Eisenberg, Stephanie Weirich, and Hamidhasan G. Ahmed. 2016. Visible Type Application. In Proceedings of the 25th European Symposium on Programming Languages and Systems - Volume 9632. Springer-Verlag New York, Inc., New York, NY, USA, 229-254."},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/944746.944707"},{"key":"e_1_3_2_2_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204"},{"key":"e_1_3_2_2_8_1","first-page":"283","volume-title":"See [7]","author":"Leijen Daan","unstructured":"Daan Leijen . 2008. HMF: simple type inference for first-class polymorphism , See [7] , 283 - 294 . Daan Leijen. 2008. HMF: simple type inference for first-class polymorphism, See [7], 283-294."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1480881.1480891"},{"key":"e_1_3_2_2_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086385"},{"key":"e_1_3_2_2_11_1","first-page":"207","volume-title":"Proceedings of the ACM SIGPLAN 1989 Conference on Programming Language Design and Implementation (PLDI '89)","author":"O'Toole J. W.","unstructured":"J. W. O'Toole , Jr. and D. K. Gifford . 1989. Type Reconstruction with First-class Polymorphic Values . In Proceedings of the ACM SIGPLAN 1989 Conference on Programming Language Design and Implementation (PLDI '89) . ACM, New York, NY, USA , 207 - 217 . J. W. O'Toole, Jr. and D. K. Gifford. 1989. Type Reconstruction with First-class Polymorphic Values. In Proceedings of the ACM SIGPLAN 1989 Conference on Programming Language Design and Implementation (PLDI '89). ACM, New York, NY, USA, 207-217."},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006034"},{"key":"e_1_3_2_2_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/62678.62697"},{"volume-title":"Advanced Topics in Types and Programming Languages, Benjamin C","author":"Pottier Fran\u00e7ois","key":"e_1_3_2_2_14_1","unstructured":"Fran\u00e7ois Pottier and Didier R\u00e9my . 2005. The Essence of ML Type Inference . In Advanced Topics in Types and Programming Languages, Benjamin C . Pierce (Ed.). MIT Press , Chapter 10, 389-489. http:\/\/cristal.inria.fr\/attapl\/ Fran\u00e7ois Pottier and Didier R\u00e9my. 2005. The Essence of ML Type Inference. In Advanced Topics in Types and Programming Languages, Benjamin C. Pierce (Ed.). MIT Press, Chapter 10, 389-489. http:\/\/cristal.inria.fr\/attapl\/"},{"key":"e_1_3_2_2_15_1","doi-asserted-by":"publisher","DOI":"10.5555\/645868.668492"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086383"},{"key":"e_1_3_2_2_17_1","first-page":"63","volume-title":"See [7]","author":"R\u00e9my Didier","unstructured":"Didier R\u00e9my and Boris Yakobowski . 2008. From ML to MLF: graphic type constraints with efficient type inference , See [7] , 63 - 74 . Didier R\u00e9my and Boris Yakobowski. 2008. From ML to MLF: graphic type constraints with efficient type inference, See [7], 63-74."},{"key":"e_1_3_2_2_18_1","first-page":"3","volume-title":"Proceedings of the 2009 ACM SIGPLAN Workshop on ML (ML '09)","author":"Claudio","unstructured":"Claudio V. Russo and Dimitrios Vytiniotis. 2009. QML: Explicit Firstclass Polymorphism for ML . In Proceedings of the 2009 ACM SIGPLAN Workshop on ML (ML '09) . ACM, New York, NY, USA , 3 - 14 . Claudio V. Russo and Dimitrios Vytiniotis. 2009. QML: Explicit Firstclass Polymorphism for ML. In Proceedings of the 2009 ACM SIGPLAN Workshop on ML (ML '09). ACM, New York, NY, USA, 3-14."},{"key":"e_1_3_2_2_19_1","doi-asserted-by":"publisher","DOI":"10.5555\/3089528.3089554"},{"key":"e_1_3_2_2_20_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796811000098"},{"key":"e_1_3_2_2_21_1","volume-title":"Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006","author":"Vytiniotis Dimitrios","year":"2006","unstructured":"Dimitrios Vytiniotis , Stephanie Weirich , and Simon L . Peyton Jones. 2006. Boxy types: inference for higher-rank types and impredicativity . In Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006 , Portland, Oregon, USA , September 16-21, 2006 , John H. Reppy and Julia L. Lawall (Eds.). ACM, 251-262. Dimitrios Vytiniotis, Stephanie Weirich, and Simon L. Peyton Jones. 2006. Boxy types: inference for higher-rank types and impredicativity. In Proceedings of the 11th ACM SIGPLAN International Conference on Functional Programming, ICFP 2006, Portland, Oregon, USA, September 16-21, 2006, John H. Reppy and Julia L. Lawall (Eds.). ACM, 251-262."},{"key":"e_1_3_2_2_22_1","volume-title":"Peyton Jones","author":"Vytiniotis Dimitrios","year":"2008","unstructured":"Dimitrios Vytiniotis , Stephanie Weirich , and Simon L . Peyton Jones . 2008 . FPH: first-class polymorphism for Haskell, See [7], 295-306. Dimitrios Vytiniotis, Stephanie Weirich, and Simon L. Peyton Jones. 2008. FPH: first-class polymorphism for Haskell, See [7], 295-306."},{"key":"e_1_3_2_2_24_1","volume-title":"Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation","author":"Zhang Danfeng","year":"2015","unstructured":"Danfeng Zhang , Andrew C. Myers , Dimitrios Vytiniotis , and Simon L . Peyton Jones. 2015. Diagnosing type errors with class . In Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation , Portland, OR, USA , June 15-17, 2015 , David Grove and Steve Blackburn (Eds.). ACM, 12-21. Danfeng Zhang, Andrew C. Myers, Dimitrios Vytiniotis, and Simon L. Peyton Jones. 2015. Diagnosing type errors with class. In Proceedings of the 36th ACM SIGPLAN Conference on Programming Language Design and Implementation, Portland, OR, USA, June 15-17, 2015, David Grove and Steve Blackburn (Eds.). ACM, 12-21."}],"event":{"name":"PLDI '18: ACM SIGPLAN Conference on Programming Language Design and Implementation","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Philadelphia PA USA","acronym":"PLDI '18"},"container-title":["Proceedings of the 39th ACM SIGPLAN Conference on Programming Language Design and Implementation"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3192366.3192389","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,9,4]],"date-time":"2023-09-04T20:34:36Z","timestamp":1693859676000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3192366.3192389"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2018,6,11]]},"references-count":22,"alternative-id":["10.1145\/3192366.3192389","10.1145\/3192366"],"URL":"https:\/\/doi.org\/10.1145\/3192366.3192389","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3296979.3192389","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2018,6,11]]},"assertion":[{"value":"2018-06-11","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}