{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T04:27:15Z","timestamp":1750220835477,"version":"3.41.0"},"publisher-location":"New York, NY, USA","reference-count":36,"publisher":"ACM","license":[{"start":{"date-parts":[[2019,8,8]],"date-time":"2019-08-08T00:00:00Z","timestamp":1565222400000},"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":[[2019,8,8]]},"DOI":"10.1145\/3331545.3342596","type":"proceedings-article","created":{"date-parts":[[2019,7,29]],"date-time":"2019-07-29T20:51:45Z","timestamp":1564433505000},"page":"30-43","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":0,"title":["Bidirectional type class instances"],"prefix":"10.1145","author":[{"given":"Koen","family":"Pauwels","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":"Michiel","family":"Derhaeg","sequence":"additional","affiliation":[{"name":"Guardsquare, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Tom","family":"Schrijvers","sequence":"additional","affiliation":[{"name":"KU Leuven, Belgium"}],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"320","published-online":{"date-parts":[[2019,8,8]]},"reference":[{"key":"e_1_3_2_1_1_1","series-title":"Studies in Logic and the Foundations of Mathematics","volume-title":"The Lambda Calculus: its Syntax and Semantics","author":"Barendregt Henk","unstructured":"Henk Barendregt . 1981. The Lambda Calculus: its Syntax and Semantics , volume 103 of Studies in Logic and the Foundations of Mathematics . Henk Barendregt. 1981. The Lambda Calculus: its Syntax and Semantics, volume 103 of Studies in Logic and the Foundations of Mathematics."},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/3122955.3122967"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/3341695"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1090189.1086397"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040306"},{"key":"e_1_3_2_1_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_2_1_7_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535856"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/1167515.1167499"},{"key":"e_1_3_2_1_10_1","doi-asserted-by":"publisher","DOI":"10.1145\/227699.227700"},{"key":"e_1_3_2_1_11_1","volume-title":"Proc. of the Joint CS\/CE Winter Meeting.","author":"Hallgren Thomas","year":"2000","unstructured":"Thomas Hallgren . 2000 . Fun with Functional Dependencies . In Proc. of the Joint CS\/CE Winter Meeting. Thomas Hallgren. 2000. Fun with Functional Dependencies. In Proc. of the Joint CS\/CE Winter Meeting."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/169701.169692"},{"key":"e_1_3_2_1_14_1","first-page":"29","article-title":"The Principal Type-Scheme of an Object in Combinatory","volume":"146","author":"Hindley R.","year":"1969","unstructured":"R. Hindley . 1969 . The Principal Type-Scheme of an Object in Combinatory Logic. Trans. Amer. Math. Soc. 146 (1969), 29 \u2013 60 . R. Hindley. 1969. The Principal Type-Scheme of an Object in Combinatory Logic. Trans. Amer. Math. Soc. 146 (1969), 29\u201360.","journal-title":"Logic. Trans. Amer. Math. Soc."},{"key":"e_1_3_2_1_15_1","doi-asserted-by":"publisher","DOI":"10.1145\/1328897.1328475"},{"volume-title":"ESOP \u201992","author":"Jones Mark P.","key":"e_1_3_2_1_16_1","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_17_1","doi-asserted-by":"publisher","DOI":"10.5555\/207528"},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224198"},{"volume-title":"Programming Languages and Systems. LNCS","author":"Jones Mark P.","key":"e_1_3_2_1_19_1","unstructured":"Mark P. Jones . 2000. Type Classes with Functional Dependencies . In Programming Languages and Systems. LNCS , Vol. 1782 . Springer . Mark P. Jones. 2000. Type Classes with Functional Dependencies. In Programming Languages and Systems. LNCS, Vol. 1782. Springer."},{"key":"e_1_3_2_1_20_1","doi-asserted-by":"publisher","DOI":"10.1145\/3122955.3122966"},{"key":"e_1_3_2_1_21_1","volume-title":"Proceedings of IFIP \u201974","author":"Kowalski Robert","year":"1974","unstructured":"Robert Kowalski . 1974 . Predicate Logic as Programming Language . In Proceedings of IFIP \u201974 . North Holland, 569\u2013574. Robert Kowalski. 1974. Predicate Logic as Programming Language. In Proceedings of IFIP \u201974. North Holland, 569\u2013574."},{"key":"e_1_3_2_1_22_1","unstructured":"The Coq development team. 2004. The Coq proof assistant reference manual. LogiCal Project. http:\/\/coq.inria.fr Version 8.0.  The Coq development team. 2004. The Coq proof assistant reference manual. LogiCal Project. http:\/\/coq.inria.fr Version 8.0."},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/2775050.2633364"},{"key":"e_1_3_2_1_24_1","doi-asserted-by":"publisher","DOI":"10.1145\/3110286"},{"key":"e_1_3_2_1_25_1","doi-asserted-by":"publisher","DOI":"10.1145\/1863543.1863596"},{"key":"e_1_3_2_1_26_1","unstructured":"Giuseppe Peano. 1889. Arithmetices principia: nova methodo exposita. Fratres Bocca. https:\/\/books.google.be\/books?id=UUFtAAAAMAAJ  Giuseppe Peano. 1889. Arithmetices principia: nova methodo exposita. Fratres Bocca. https:\/\/books.google.be\/books?id=UUFtAAAAMAAJ"},{"volume-title":"Haskell 98 Language and Libraries: The Revised Report","author":"Jones Simon Peyton","key":"e_1_3_2_1_27_1","unstructured":"Simon Peyton Jones . 2003. Haskell 98 Language and Libraries: The Revised Report . Cambridge University Press . Simon Peyton Jones. 2003. Haskell 98 Language and Libraries: The Revised Report. Cambridge University Press."},{"key":"e_1_3_2_1_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/1160074.1159811"},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2088456.1863539"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.5555\/647323.721503"},{"key":"e_1_3_2_1_31_1","unstructured":"John C. Reynolds. 1983a. Types Abstraction and Parametric Polymorphism. In Information Processing 83 R.E.A. Mason (Ed.). 513\u2013523.  John C. Reynolds. 1983a. Types Abstraction and Parametric Polymorphism. In Information Processing 83 R.E.A. Mason (Ed.). 513\u2013523."},{"key":"e_1_3_2_1_32_1","unstructured":"John C. Reynolds. 1983b. Types abstraction and parametric polymorphism. (1983).  John C. Reynolds. 1983b. Types abstraction and parametric polymorphism. (1983)."},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411215"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190315.1190324"},{"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.1017\/S0956796811000098"},{"key":"e_1_3_2_1_37_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"},{"key":"e_1_3_2_1_38_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103795"}],"event":{"name":"ICFP '19: ACM SIGPLAN International Conference on Functional Programming","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages"],"location":"Berlin Germany","acronym":"ICFP '19"},"container-title":["Proceedings of the 12th ACM SIGPLAN International Symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3331545.3342596","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3331545.3342596","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,17]],"date-time":"2025-06-17T23:13:39Z","timestamp":1750202019000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/3331545.3342596"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2019,8,8]]},"references-count":36,"alternative-id":["10.1145\/3331545.3342596","10.1145\/3331545"],"URL":"https:\/\/doi.org\/10.1145\/3331545.3342596","relation":{},"subject":[],"published":{"date-parts":[[2019,8,8]]},"assertion":[{"value":"2019-08-08","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}