Type classes with functional dependencies?

Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics)

Volumn 1782, Issue , 2000, Pages 230-244

  Jones, Mark P ^a  

^a OREGON HEALTH AND SCIENCE UNIVERSITY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

COMPUTER SCIENCE; COMPUTERS;

FUNCTIONAL DEPENDENCY; HASKELL; MULTIPLE PARAMETERS; RELATIONAL DATABASE; TYPE CLASS; TYPE ERRORS; TYPE SYSTEMS;

ARTIFICIAL INTELLIGENCE;

EID: 84947265273     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-46425-5_15     Document Type: Conference Paper

References (14)

1. W. W. Armstrong. Dependency structures of data base relationships. In IFIP Cong., Geneva, Switzerland, 1974.
2. S. M. Blott. An approach to overloading with polymorphism. PhD thesis, Depart- ment of Computing Science, University of Glasgow, September 1991.
3. K. Chen, P. Hudak, and M. Odersky. Parametric type classes (extended abstract). In ACM conference on LISP and Functional Programming, San Francisco, CA, June 1992.
4. M. P. Jones. Qualified Types: Theory and Practice. PhD thesis, Programming Research Group, Oxford University Computing Laboratory, July 1992. Published by Cambridge University Press, November 1994.
5. M. P. Jones. Simplifying and improving qualified types. In International Conference on Functional Programming Languages and Computer Architecture, pages 160-169, June 1995.
6. M. P. Jones. A system of constructor classes: overloading and implicit higher-order polymorphism. Journal of Functional Programming, 5(1), January 1995.
7. M. P. Jones and J. C. Peterson. Hugs 98 User Manual, September 1999.
8. D. Maier. The Theory of Relational Databases. Computer Science Press, 1983.
9. C. Okasaki. Edison User's Guide, May 1999.
10. S. Peyton Jones. Bulk types with class. In Proceedings of the Second Haskell Workshop, Amsterdam, June 1997.
11. S. Peyton Jones and J. Hughes, editors. Report on the Programming Language Haskell 98, A Non-strict Purely Functional Language, February 1999.
12. S. Peyton Jones and J. Hughes (editors). Standard libraries for the Haskell 98 programming language, February 1999.
13. S. Peyton Jones, M. Jones, and E. Meijer. Type classes: Exploring the design space. In Proceedings of the Second Haskell Workshop, Amsterdam, June 1997.
14. P. Wadler and S. Blott. How to make ad hoc polymorphism less ad hoc. In Proceedings of 16th ACM Symposium on Principles of Programming Languages, pages 60-76, Jan 1989.