Sound and decidable type inference for functional dependencies

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

Volumn 2986, Issue , 2004, Pages 49-63

  Duck, Gregory J ^a   Peyton Jones, Simon ^a,b,c   Stuckey, Peter J ^b   Sulzmann, Martin ^c  

^a UNIVERSITY OF MELBOURNE   (Australia)

^b MICROSOFT RESEARCH   (United Kingdom)

^c NATIONAL UNIVERSITY OF SINGAPORE   (Singapore)

Author keywords

[No Author keywords available]

Indexed keywords

ARTIFICIAL INTELLIGENCE; COMPUTER SCIENCE; COMPUTERS;

CONSTRAINT HANDLING RULES; FUNCTIONAL DEPENDENCY; HASKELL; TYPE CLASS; TYPE INFERENCES;

COMPUTABILITY AND DECIDABILITY;

EID: 35048853069     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/978-3-540-24725-8_5     Document Type: Article

References (14)

1. [Abd97] S. Abdennadher. Operational semantics and confluence of constraint propagation rules. In Proc. of CP'97, volume 1330 of LNCS, pages 252-266. Springer-Verlag, 1997.
2. [CHO92] K. Chen, P. Hudak, and M. Odersky. Parametric type classes. In Proc. of ACM Conference on Lisp and Functional Programming, pages 170-191. ACM Press, June 1992.
3. [CK03] M. Chakravarty and S. Keller. Classy type analysis, 2003.
4. [DO02] D. Duggan and J. Ophel. Type-checking multi-parameter type classes. Journal of Functional Programming, 12(2):133-158, 2002.
5. [DPJSS03] G. J. Duck, S. Peyton-Jones, P. J. Stuckey, and M. Sulzmann. Sound and decidable type inference for functional dependencies. Technical report, National University of Singapore, 2003. http://www.comp.nus.edu.sg/ ~sulzmann/chr/download/fd-chr.ps.gz.
6. [FVÜ95] T. Frühwirth. Constraint handling rules. In Constraint Programming: Basics and Trends, volume 910 of LNCS. Springer-Verlag, 1995.
7. [Frü98] T. Frühwirth. Theory and practice of constraint handling rules. Journal of Logic Programming, 37(l-3):95-138, 1998.
8. [Jon92] M. P. Jones. Qualified Types: Theory and Practice. PhD thesis, Oxford University, September 1992.
9. [Jon95] M. P. Jones. Simplifying and improving qualified types. In FPCA '95: Conference on Functional Programming Languages and Computer Architecture. ACM Press, 1995.
10. [Jon00] M. P. Jones. Type classes with functional dependencies. In Proc. of the 9th European Symposium on Programming Languages and Systems, ESOP 2000, volume 1782 of LNCS. Springer-Verlag, March 2000.
11. [Kar03] J. Karczmarczuk. Structure and interpretation of quantum mechanics - a functional framework. In Proc. of Haskell Workshop'03, pages 50-61. ACM Press, 2003.
12. [Pey99] S. Peyton Jones et al. Report on the programming language Haskell 98, February 1999. http://haskell.org.
13. [SS02] P. J. Stuckey and M. Sulzmann. A theory of overloading. In Proc. of ICFP'02, pages 167-178. ACM Press, 2002.
14. [WW03] G. Washburn and S. Weirich. Boxes go bananas: encoding higher-order abstract syntax with parametric polymorphism. In Proc. of ICFP'03, pages 249-262. ACM Press, 2003.