{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,2,27]],"date-time":"2026-02-27T03:47:41Z","timestamp":1772164061149,"version":"3.50.1"},"publisher-location":"New York, NY, USA","reference-count":35,"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.3122966","type":"proceedings-article","created":{"date-parts":[[2017,9,1]],"date-time":"2017-09-01T08:27:52Z","timestamp":1504254472000},"page":"133-147","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":1,"title":["Elaboration on functional dependencies: functional dependencies are dead, long live functional dependencies!"],"prefix":"10.1145","author":[{"given":"Georgios","family":"Karachalias","sequence":"first","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"}]}],"member":"320","published-online":{"date-parts":[[2017,9,7]]},"reference":[{"key":"e_1_3_2_1_1_1","doi-asserted-by":"publisher","DOI":"10.1145\/1090189.1086397"},{"key":"e_1_3_2_1_2_1","doi-asserted-by":"publisher","DOI":"10.1145\/1047659.1040306"},{"key":"e_1_3_2_1_3_1","doi-asserted-by":"publisher","DOI":"10.1145\/1119479.1119483"},{"key":"e_1_3_2_1_4_1","doi-asserted-by":"publisher","DOI":"10.1007\/978-3-642-58312-4"},{"key":"e_1_3_2_1_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/2535838.2535856"},{"key":"e_1_3_2_1_6_1","volume-title":"Selected Papers from Constraint Programming: Basics and Trends","author":"Fr\u00fchwirth Thom W.","unstructured":"Thom W. Fr\u00fchwirth . 1995. Constraint Handling Rules . In Selected Papers from Constraint Programming: Basics and Trends . Springer-Verlag , 90\u2013107. Thom W. Fr\u00fchwirth. 1995. Constraint Handling Rules. In Selected Papers from Constraint Programming: Basics and Trends. Springer-Verlag, 90\u2013107."},{"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\/1167515.1167499"},{"key":"e_1_3_2_1_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/227699.227700"},{"key":"e_1_3_2_1_11_1","unstructured":"Mark Jones. 2010. The Habit Programming Language: The Revised Preliminary Report.  Mark Jones. 2010. The Habit Programming Language: The Revised Preliminary Report."},{"key":"e_1_3_2_1_12_1","series-title":"Lecture Notes in Computer Science","volume-title":"ESOP \u201992","author":"Jones Mark P.","unstructured":"Mark P. Jones . 1992. A theory of qualified types . In ESOP \u201992 . Lecture Notes in Computer Science , Vol. 582 . Springer Berlin Heidelberg , 287\u2013306. Mark P. Jones. 1992. A theory of qualified types. In ESOP \u201992. Lecture Notes in Computer Science, Vol. 582. Springer Berlin Heidelberg, 287\u2013306."},{"key":"e_1_3_2_1_13_1","doi-asserted-by":"publisher","DOI":"10.1145\/165180.165190"},{"key":"e_1_3_2_1_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224198"},{"key":"e_1_3_2_1_15_1","series-title":"Lecture Notes in Computer Science","volume-title":"Programming Languages and Systems","author":"Jones Mark P.","unstructured":"Mark P. Jones . 2000. Type Classes with Functional Dependencies . In Programming Languages and Systems . Lecture Notes in Computer Science , Vol. 1782 . Springer . Mark P. Jones. 2000. Type Classes with Functional Dependencies. In Programming Languages and Systems. Lecture Notes in Computer Science, Vol. 1782. Springer."},{"key":"e_1_3_2_1_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/1543134.1411298"},{"key":"e_1_3_2_1_17_1","volume-title":"Proceedings of the Second Haskell Workshop.","author":"Jones Simon Peyton","year":"1997","unstructured":"Simon Peyton Jones . 1997 . Bulk Types With Class . In Proceedings of the Second Haskell Workshop. Simon Peyton Jones. 1997. Bulk Types With Class. In Proceedings of the Second Haskell Workshop."},{"key":"e_1_3_2_1_18_1","doi-asserted-by":"publisher","DOI":"10.1145\/1017472.1017488"},{"key":"e_1_3_2_1_19_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_20_1","volume-title":"Haskell 98 Language and Libraries: The Revised Report","author":"Jones Simon Peyton","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_21_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159803.1159811"},{"key":"e_1_3_2_1_22_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411215"},{"key":"e_1_3_2_1_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/1596550.1596599"},{"key":"e_1_3_2_1_24_1","unstructured":"Tom Schrijvers and Martin Sulzmann. 2008. Unified type checking for classes and type families. (2008). https:\/\/lirias.kuleuven.be\/handle\/123456789\/186697  Tom Schrijvers and Martin Sulzmann. 2008. Unified type checking for classes and type families. (2008). https:\/\/lirias.kuleuven.be\/handle\/123456789\/186697"},{"key":"e_1_3_2_1_25_1","volume-title":"Simon Peyton Jones, and Manuel Chakravarty","author":"Schrijvers Tom","year":"2007","unstructured":"Tom Schrijvers , Martin Sulzmann , Simon Peyton Jones, and Manuel Chakravarty . 2007 . Towards open type functions for Haskell. In IFL \u201907. 233\u2013251. Tom Schrijvers, Martin Sulzmann, Simon Peyton Jones, and Manuel Chakravarty. 2007. Towards open type functions for Haskell. In IFL \u201907. 233\u2013251."},{"key":"e_1_3_2_1_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804302.2804304"},{"key":"e_1_3_2_1_27_1","doi-asserted-by":"publisher","DOI":"10.5555\/890795"},{"key":"e_1_3_2_1_28_1","unstructured":"Abraham Silberschatz Henry Korth and S. Sudarshan. 2006. Database Systems Concepts (5 ed.). McGraw-Hill Inc.   Abraham Silberschatz Henry Korth and S. Sudarshan. 2006. Database Systems Concepts (5 ed.). McGraw-Hill Inc."},{"key":"e_1_3_2_1_29_1","doi-asserted-by":"publisher","DOI":"10.1145\/2804302.2804314"},{"key":"e_1_3_2_1_30_1","doi-asserted-by":"publisher","DOI":"10.1145\/1108970.1108974"},{"key":"e_1_3_2_1_31_1","doi-asserted-by":"publisher","DOI":"10.1145\/1190315.1190324"},{"key":"e_1_3_2_1_32_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006137"},{"key":"e_1_3_2_1_33_1","doi-asserted-by":"publisher","DOI":"10.1145\/1708016.1708023"},{"key":"e_1_3_2_1_34_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796811000098"},{"key":"e_1_3_2_1_35_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"},{"key":"e_1_3_2_1_36_1","doi-asserted-by":"publisher","DOI":"10.1145\/2103786.2103795"}],"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.3122966","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/3122955.3122966","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.3122966"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2017,9,7]]},"references-count":35,"alternative-id":["10.1145\/3122955.3122966","10.1145\/3122955"],"URL":"https:\/\/doi.org\/10.1145\/3122955.3122966","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/3156695.3122966","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"}}]}}