{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,7,16]],"date-time":"2026-07-16T06:14:31Z","timestamp":1784182471126,"version":"3.55.0"},"publisher-location":"New York, NY, USA","reference-count":23,"publisher":"ACM","license":[{"start":{"date-parts":[[2008,9,25]],"date-time":"2008-09-25T00:00:00Z","timestamp":1222300800000},"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":[[2008,9,25]]},"DOI":"10.1145\/1411286.1411298","type":"proceedings-article","created":{"date-parts":[[2008,9,30]],"date-time":"2008-09-30T09:03:19Z","timestamp":1222765399000},"page":"87-98","update-policy":"https:\/\/doi.org\/10.1145\/crossmark-policy","source":"Crossref","is-referenced-by-count":13,"title":["Language and program design for functional dependencies"],"prefix":"10.1145","author":[{"given":"Mark P.","family":"Jones","sequence":"first","affiliation":[{"name":"Portland State University, Portland, OR, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Iavor S.","family":"Diatchki","sequence":"additional","affiliation":[{"name":"Galois, Inc., Portland, OR, USA"}],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"320","published-online":{"date-parts":[[2008,9,25]]},"reference":[{"key":"e_1_3_2_2_1_1","first-page":"580","volume-title":"IFIP Congress","author":"Armstrong William Ward","year":"1974","unstructured":"William Ward Armstrong . Dependency structures of data base relationships . In IFIP Congress , pages 580 -- 583 , 1974 . William Ward Armstrong. Dependency structures of data base relationships. In IFIP Congress, pages 580--583, 1974."},{"key":"e_1_3_2_2_2_1","first-page":"0249","volume-title":"Benjamin\/Cummings","author":"Atzeni Paolo","year":"1993","unstructured":"Paolo Atzeni and Valeria De Antonellis . Relational Database Theory . Benjamin\/Cummings , 1993 . ISBN 0-8053- 0249 - 0242 . Paolo Atzeni and Valeria De Antonellis. Relational Database Theory. Benjamin\/Cummings, 1993. ISBN 0-8053-0249-2."},{"key":"e_1_3_2_2_4_1","doi-asserted-by":"publisher","DOI":"10.1145\/1040305.1040306"},{"key":"e_1_3_2_2_5_1","doi-asserted-by":"publisher","DOI":"10.1145\/141471.141536"},{"key":"e_1_3_2_2_6_1","doi-asserted-by":"publisher","DOI":"10.1145\/362384.362685"},{"key":"e_1_3_2_2_7_1","volume-title":"Normalized data base structure: A brief tutorial. IBM Research Report","author":"Codd E. F.","year":"1971","unstructured":"E. F. Codd . Normalized data base structure: A brief tutorial. IBM Research Report , San Jose , California, RJ 935, 1971 . E. F. Codd. Normalized data base structure: A brief tutorial. IBM Research Report, San Jose, California, RJ935, 1971."},{"key":"e_1_3_2_2_8_1","volume-title":"Further normalization of the data base relational model. IBM Research Report","author":"Codd E. F.","year":"1971","unstructured":"E. F. Codd . Further normalization of the data base relational model. IBM Research Report , San Jose , California, RJ 909, 1971 . E. F. Codd. Further normalization of the data base relational model. IBM Research Report, San Jose, California, RJ909, 1971."},{"key":"e_1_3_2_2_9_1","doi-asserted-by":"publisher","DOI":"10.1145\/582153.582176"},{"key":"e_1_3_2_2_11_1","doi-asserted-by":"publisher","DOI":"10.1145\/1159842.1159851"},{"key":"e_1_3_2_2_12_1","doi-asserted-by":"publisher","DOI":"10.1145\/1086365.1086387"},{"key":"e_1_3_2_2_13_1","volume-title":"Proceedings of the Joint CS\/CE Winter Meeting","author":"Hallgren Thomas","year":"2001","unstructured":"Thomas Hallgren . Fun with functional dependencies, or (draft) types as values in static computations in Haskell . In Proceedings of the Joint CS\/CE Winter Meeting , Varberg, Sweden , January 2001 . Thomas Hallgren. Fun with functional dependencies, or (draft) types as values in static computations in Haskell. In Proceedings of the Joint CS\/CE Winter Meeting, Varberg, Sweden, January 2001."},{"key":"e_1_3_2_2_14_1","doi-asserted-by":"publisher","DOI":"10.1145\/1238844.1238856"},{"key":"e_1_3_2_2_16_1","doi-asserted-by":"publisher","DOI":"10.1145\/224164.224198"},{"key":"e_1_3_2_2_18_1","doi-asserted-by":"publisher","DOI":"10.5555\/645394.651909"},{"key":"e_1_3_2_2_20_1","volume-title":"First International Spring School on Advanced Functional Programming Techniques","author":"Jones Mark P.","year":"1995","unstructured":"Mark P. Jones . Functional programming with overloading and higher-order polymorphism . In First International Spring School on Advanced Functional Programming Techniques , volume 925 . Springer-Verlag LNCS , B\u00e5stad, Sweden , May 1995 . Mark P. Jones. Functional programming with overloading and higher-order polymorphism. In First International Spring School on Advanced Functional Programming Techniques, volume 925. Springer-Verlag LNCS, B\u00e5stad, Sweden, May 1995."},{"key":"e_1_3_2_2_21_1","volume-title":"AngloHaskell 2007","author":"Jones Simon Peyton","year":"2007","unstructured":"Simon Peyton Jones . Indexed type families in Haskell, and death to functional dependencies (slides) . In AngloHaskell 2007 , Cambridge, England , August 2007 . Available online at http:\/\/haskell.org\/haskellwiki\/AngloHaskell\/2007. Simon Peyton Jones. Indexed type families in Haskell, and death to functional dependencies (slides). In AngloHaskell 2007, Cambridge, England, August 2007. Available online at http:\/\/haskell.org\/haskellwiki\/AngloHaskell\/2007."},{"key":"e_1_3_2_2_22_1","volume-title":"The Revised Report","author":"Jones Simon Peyton","year":"2003","unstructured":"Simon Peyton Jones , editor. Haskell 98 Language and Libraries , The Revised Report . Cambridge University Press , 2003 . Simon Peyton Jones, editor. Haskell 98 Language and Libraries, The Revised Report. Cambridge University Press, 2003."},{"key":"e_1_3_2_2_23_1","doi-asserted-by":"publisher","DOI":"10.1145\/199448.199528"},{"key":"e_1_3_2_2_24_1","volume-title":"The Theory of Relational Databases","author":"Maier David","year":"1983","unstructured":"David Maier . The Theory of Relational Databases . Computer Science Press , 1983 . ISBN 0-914894-42-0. David Maier. The Theory of Relational Databases. Computer Science Press, 1983. ISBN 0-914894-42-0."},{"key":"e_1_3_2_2_25_1","volume-title":"Proceedings of The 2001 ACM SIGPLAN Haskell Workshop","author":"Neubauer Matthias","year":"2001","unstructured":"Matthias Neubauer , Peter Thiemann , Martin Gasbichler , and Michael Sperber . A functional notation for functional dependencies . In Proceedings of The 2001 ACM SIGPLAN Haskell Workshop , Firenze, Italy , September 2001 . Matthias Neubauer, Peter Thiemann, Martin Gasbichler, and Michael Sperber. A functional notation for functional dependencies. In Proceedings of The 2001 ACM SIGPLAN Haskell Workshop, Firenze, Italy, September 2001."},{"key":"e_1_3_2_2_26_1","doi-asserted-by":"publisher","DOI":"10.1145\/1411204.1411215"},{"key":"e_1_3_2_2_27_1","doi-asserted-by":"publisher","DOI":"10.1017\/S0956796806006137"},{"key":"e_1_3_2_2_28_1","doi-asserted-by":"publisher","DOI":"10.1145\/75277.75283"}],"event":{"name":"ICFP08: ACM SIGPLAN International Conference on Functional Programming","location":"Victoria BC Canada","acronym":"ICFP08","sponsor":["SIGPLAN ACM Special Interest Group on Programming Languages","ACM Association for Computing Machinery"]},"container-title":["Proceedings of the first ACM SIGPLAN symposium on Haskell"],"original-title":[],"link":[{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1411286.1411298","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"https:\/\/dl.acm.org\/doi\/pdf\/10.1145\/1411286.1411298","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,6,18]],"date-time":"2025-06-18T09:29:47Z","timestamp":1750238987000},"score":1,"resource":{"primary":{"URL":"https:\/\/dl.acm.org\/doi\/10.1145\/1411286.1411298"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2008,9,25]]},"references-count":23,"alternative-id":["10.1145\/1411286.1411298","10.1145\/1411286"],"URL":"https:\/\/doi.org\/10.1145\/1411286.1411298","relation":{"is-identical-to":[{"id-type":"doi","id":"10.1145\/1543134.1411298","asserted-by":"object"}]},"subject":[],"published":{"date-parts":[[2008,9,25]]},"assertion":[{"value":"2008-09-25","order":2,"name":"published","label":"Published","group":{"name":"publication_history","label":"Publication History"}}]}}