{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:48:14Z","timestamp":1772164094081,"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.3122967","type":"proceedings-article","created":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T08:27:52Z","timestamp":1504254472000},"page":"148-161","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":19,"title":["Quantified class constraints"],"prefix":"10.1145","author":[{"given":"Gert-Jan","family":"Bottu","sequence":"first","affiliation":[{"name":"KU Leuven, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Georgios","family":"Karachalias","sequence":"additional","affiliation":[{"name":"KU Leuven, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Schrijvers","sequence":"additional","affiliation":[{"name":"KU Leuven, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Bruno C. d. S.","family":"Oliveira","sequence":"additional","affiliation":[{"name":"University of Hong Kong, China"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Philip","family":"Wadler","sequence":"additional","affiliation":[{"name":"University of Edinburgh, UK"}],"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":"publisher","DOI":"10.1093\/logcom\/2.3.297"},{"key":"e_1_3_2_1_2_1","volume-title":"Meertens","author":"Bird Richard S.","year":"1998","unstructured":"Richard S. Bird and Lambert G. L. T . Meertens . 1998 . Nested Datatypes. In MPC \u201998 . Springer , 52\u201367. Richard S. Bird and Lambert G. L. T. Meertens. 1998. Nested Datatypes. In MPC \u201998 . Springer, 52\u201367."},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1090189.1086397"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/2976002.2976004"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_2_1_6_1","volume-title":"FLOPS","author":"Fu Peng","year":"2016","unstructured":"Peng Fu , Ekaterina Komendantskaya , Tom Schrijvers , and Andrew Pond . 2016. Proof Relevant Corecursive Resolution . In FLOPS 2016 . Springer , 126\u2013143. Peng Fu, Ekaterina Komendantskaya, Tom Schrijvers, and Andrew Pond. 2016. Proof Relevant Corecursive Resolution. In FLOPS 2016. Springer, 126\u2013143."},{"key":"e_1_3_2_1_7_1","unstructured":"Jean-Yves Girard Paul Taylor and Yves Lafont. 1989. Proofs and Types. Cambridge University Press.   Jean-Yves Girard Paul Taylor and Yves Lafont. 1989. Proofs and Types. Cambridge University Press."},{"key":"e_1_3_2_1_8_1","doi-asserted-by":"publisher","DOI":"10.1145\/227699.227700"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1007\/BF01360048"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796800003701"},{"key":"e_1_3_2_1_11_1","volume-title":"MPC\u201910","author":"Hinze Ralf","unstructured":"Ralf Hinze . 2010. Adjoint Folds and Unfolds: Or: Scything Through the Thicket of Morphisms . In MPC\u201910 . Springer , 195\u2013228. Ralf Hinze. 2010. Adjoint Folds and Unfolds: Or: Scything Through the Thicket of Morphisms. In MPC\u201910. Springer, 195\u2013228."},{"key":"e_1_3_2_1_12_1","volume-title":"Proceedings of the Fourth Haskell Workshop . Elsevier Science, 227\u2013236","author":"Hinze Ralf","year":"2000","unstructured":"Ralf Hinze and Simon Peyton Jones . 2000 . Derivable Type Classes . In Proceedings of the Fourth Haskell Workshop . Elsevier Science, 227\u2013236 . Ralf Hinze and Simon Peyton Jones. 2000. Derivable Type Classes. In Proceedings of the Fourth Haskell Workshop . Elsevier Science, 227\u2013236."},{"key":"e_1_3_2_1_13_1","volume-title":"IFL\u201908","author":"Jaskelioff Mauro","unstructured":"Mauro Jaskelioff . 2011. Monatron: an extensible monad transformer library . In IFL\u201908 . Springer , Berlin, Heidelberg , 233\u2013248. Mauro Jaskelioff. 2011. Monatron: an extensible monad transformer library. In IFL\u201908 . Springer, Berlin, Heidelberg, 233\u2013248."},{"key":"e_1_3_2_1_14_1","volume-title":"ESOP \u201992","author":"Jones Mark P.","unstructured":"Mark P. Jones . 1992. A theory of qualified types . In ESOP \u201992 , Bernd KriegBr\u00fcckner (Ed.). LNCS, Vol. 582 . Springer Berlin Heidelberg , 287\u2013306. Mark P. Jones. 1992. A theory of qualified types. In ESOP \u201992, Bernd KriegBr\u00fcckner (Ed.). LNCS, Vol. 582. Springer Berlin Heidelberg, 287\u2013306."},{"key":"e_1_3_2_1_15_1","volume-title":"Advanced Functional Programming","author":"Jones Mark P.","unstructured":"Mark P. Jones . 1995. Functional Programming with Overloading and HigherOrder Polymorphism . In Advanced Functional Programming . Springer , 97\u2013136. Mark P. Jones. 1995. Functional Programming with Overloading and HigherOrder Polymorphism. In Advanced Functional Programming. Springer, 97\u2013136."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.5555\/207528"},{"key":"e_1_3_2_1_17_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224198"},{"key":"e_1_3_2_1_18_1","volume-title":"LNCS","volume":"1782","author":"Jones Mark P.","year":"2000","unstructured":"Mark P. Jones . 2000 . Type Classes with Functional Dependencies. In Programming Languages and Systems . LNCS , Vol. 1782 . Springer Berlin Heidelberg, 230\u2013244. Mark P. Jones. 2000. Type Classes with Functional Dependencies. In Programming Languages and Systems . LNCS, Vol. 1782. Springer Berlin Heidelberg, 230\u2013244."},{"key":"e_1_3_2_1_19_1","volume-title":"Proceedings of the 1997 Haskell Workshop. ACM.","author":"Jones Simon Peyton","year":"1997","unstructured":"Simon Peyton Jones , Mark Jones , and Erik Meijer . 1997 . Type classes: an exploration of the design space . In Proceedings of the 1997 Haskell Workshop. ACM. Simon Peyton Jones, Mark Jones, and Erik Meijer. 1997. Type classes: an exploration of the design space. In Proceedings of the 1997 Haskell Workshop. ACM."},{"key":"e_1_3_2_1_20_1","unstructured":"Edward A. Kmett. 2017. The constraint package. (2017). https:\/\/hackage.haskell. org\/package\/constraints-0.9.1 .  Edward A. Kmett. 2017. The constraint package. (2017). https:\/\/hackage.haskell. org\/package\/constraints-0.9.1 ."},{"key":"e_1_3_2_1_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/640136.604179"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1090189.1086391"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1016\/j.tcs.2009.07.041"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/2775050.2633364"},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1932682.1869489"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.1145\/2345156.2254070"},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006034"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/1160074.1159811"},{"key":"e_1_3_2_1_30_1","unstructured":"Frank Pfenning. 2010. Lecture Notes on Focusing. (2010). https:\/\/www.cs.cmu. edu\/~fp\/courses\/oregon-m10\/04-focusing.pdf .  Frank Pfenning. 2010. Lecture Notes on Focusing. (2010). https:\/\/www.cs.cmu. edu\/~fp\/courses\/oregon-m10\/04-focusing.pdf ."},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/2034574.2034781"},{"key":"e_1_3_2_1_32_1","volume-title":"d. S. Oliveira, and Philip Wadler","author":"Schrijvers Tom","year":"2017","unstructured":"Tom Schrijvers , Bruno C. d. S. Oliveira, and Philip Wadler . 2017 . Cochis : Deterministic and Coherent Implicits . Report CW 705. KU Leuven . Tom Schrijvers, Bruno C. d. S. Oliveira, and Philip Wadler. 2017. Cochis: Deterministic and Coherent Implicits . Report CW 705. KU Leuven."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-540-71067-7_23"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110249"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006137"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/871895.871906"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/1708016.1708023"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"}],"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.3122967","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3122955.3122967","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.3122967"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,7]]},"references-count":37,"alternative-id":["10.1145\/3122955.3122967","10.1145\/3122955"],"URL":"https:\/\/doi.org\/10.1145\/3122955.3122967","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3156695.3122967","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"}}]}}