Type inference using constraint handling rules

Electronic Notes in Theoretical Computer Science

Volumn 64, Issue , 2002, Pages 56-72

  Alves, Sandra ^a   Florido, Mário ^a  

^a UNIVERSITY OF PORTO   (Portugal)

Author keywords

[No Author keywords available]

Indexed keywords

ALGORITHMS; COMPUTER PROGRAMMING LANGUAGES; CONSTRAINT THEORY; LOGIC PROGRAMMING; PROBLEM SOLVING;

CONSTRAINT HANDLING RULES (CHR); CONSTRAINT PROGRAMMING; FUNCTIONAL PROGRAMMING; INFERENCE ALGORITHMS;

INFERENCE ENGINES;

EID: 18944403308     PISSN: 15710661     EISSN: None     Source Type: Journal    
DOI: 10.1016/S1571-0661(04)80346-3     Document Type: Conference Paper

References (22)

1. Abdennadher Slim. Operational semantics and confluence of constraint propagation rules. Principles and Practice of Constraint Programming. 1997;252-266
2. A. Aiken and E.L. Wimmers. Type inclusion constraints and type inference. In Conference on Functional Programming Languages and Computer Architechture, 1993.
3. Sandra Alves and Mário Florido. Type Inference using Constraint Handling Rules. In International Workshop on Functional and (Constraint) Logic Programming, Kiel, Germany, September 2001.
4. Barendregt H. The Lambda Calculus, volume 103 of Studies in Logic and the Foundations of Mathematics. 1984;North-Holland
5. Cardelli Luca, Wegner Peter. On understanding types, data abstraction and polymorphism. ACM Computing Surveys. 17:(4):December 1985
6. L. Damas and R. Milner. Principal type-schemes for functional programs. In Conference Record of the Ninth Annual ACM Symposium on Principles of Programming Languages, Albuquerque, New Mexico, pages 207-212, 1982.
7. J. Eifrig, S. Smith, and V. Trifonov. Type inference for recursively constrained types and its application to object oriented programming. Eletronic Notes in Theoretical Computer Science, 1, 1995.
8. Pottier F. Simplifying subtyping constraints. In International Conference on Functional Programming, 1996.
9. Fruhwirth T. Theory and practice of constraint handling rules. The Journal of Logic Programming. 37:1998
10. K. Glynn, P. Stuckey, and Sulzmann M. Type classes and constraint handling rules. In Workshop on Rule-Based Constraint Reasoning and Programming, 2000.
11. Joxan Jaffar and Jean-Louis Lassez. Constraint Logic Programming. In Conference record of the 14th annual ACM symposium on principles of programming languages, pages 111 - 119, Munich, Germany, 1987.
12. Lloyd J.W. Foundations of Logic Programming. second edition :1987;Springer-Verlag
13. Tobias Nipkow and Christian Prehofer. Type checking type classes. In Proc. 20th ACM Symp. Principles of Programming Languages. ACM Press, 1993.
14. Nipkow Tobias, Prehofer Christian. Type reconstruction for type classes. Journal of Functional Programming. 5:(2):1995;201-224
15. Odersky Martin, Wadler Philip, Wehr Martin. A second look at overloading. Functional Programming & Computer Architecture. June 1995;ACM Press, San Diego, California
16. Ohori. A polymorphic record calculus and its compilation. ACM TOPLAS. 6:1995
17. Vijay Saraswat A. Concurrent Constraint Programming. ACM Doctoral Dissertation Awards. 1993;MIT Press
18. P. Stuckey and M. Sulzmann. A systematic approach in type system design based on Constraint Handling Rules. In Third Workshop on Rule-Based Constraint Reasoning and Programming, Cyprus, December 2001.
19. Martin Sulzmann. A General Framework for Hindley/Milner Type Systems with Constraints. PhD thesis, Yale University, Department of Computer Science, May 2000.
20. Martin Sulzmann. A General Type Inference Framework for Hindley/Milner Style Systems. In 5th International Symposium on Functional and Logic Programming (FLOPS), Tokyo, Japan, March 2001.
21. Sulzmann Martin, Odersky Martin, Wehr Martin. Type Inference with Constrained Types. Theory and Practice of Object Systems. 5:(1):1999;35-55
22. Philip Wadler and Stephen Blott. How to make ad-hoc polymorphism less ad hoc. In 16'th ACM Symposium on Principles of Programming Languages, Austin, Texas, January 1989.