Type Classes with Functional Dependencies-Reference-Cited by-同舟云学术

Type Classes with Functional Dependencies

Published:2000 Issue: Volume: Page:230-244
ISSN:0302-9743
Container-title:Programming Languages and Systems
language:
Short-container-title:

Author:

Jones Mark P.

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-46425-5_15

Reference14 articles.

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, Department 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.

Cited by 53 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Associated Effects: Flexible Abstractions for Effectful Programming;Proceedings of the ACM on Programming Languages;2024-06-20

2. Embedding Functional Logic Programming in Haskell via a Compiler Plugin;Practical Aspects of Declarative Languages;2023

3. Improving Type Error Reporting for Type Classes;Functional and Logic Programming;2022

4. Consistent Subtyping for All;ACM Transactions on Programming Languages and Systems;2020-01-10

5. Partial type constructors: or, making ad hoc datatypes less ad hoc;Proceedings of the ACM on Programming Languages;2020-01