A logical algorithm for ML type inference

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

Volumn 2706, Issue , 2003, Pages 436-451

  McAllester, David ^a  

^a TOYOTA TECHNOLOGICAL INSTITUTE AT CHICAGO   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LOGIC PROGRAMMING;

BOTTOM UP; BOTTOM-UP LOGIC PROGRAMMING; INFERENCE RULES; POLYMORPHIC TYPES; PRACTICAL PROJECTS; S FUNCTION; TYPE INFERENCES;

INFERENCE ENGINES;

EID: 37049011515     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-44881-0_31     Document Type: Conference Paper

References (8)

1. H. Ganzinger and D. McAllester. A new meta-complexity theorem for bottom-up logic programs. In Proc. International Joint Conference on Automated Reasoning, volume 2083 of Lecture Notes in Computer Science, pages 514–528. Springer-Verlag, 2001.
2. H. Ganzinger and D. McAllester. Logical algorithms. In Proc. International Conference on Logic Programming (ICLP), 2002.
3. F. Henglein. Type inference with polymorphic recursion. Transactions on Programming Languages and Systems (TOPLAS), 15(2):253–289, 1993.
4. A. Kfoury, J. Tiuryn, and P. Urzyczyn. Ml typability is dexptime complete. In Proceedings of the 15th Colloquium on Trees in Algebra and Programming (CAAP), pages 468–476. ACM, 1990.
5. H. Mairson. Deciding ml typability is complete for deterministic exponential time. In ACM Symposium on Principles of Programming Languages. Association for Computing Machinery, 1990.
6. David McAllester. On the complexity analysis of static analyses. Journal of the ACM (JACM), 49(4):512–537, 2002. A short version appeared in SAS99.
7. Robin Milner. A theory of type polymorphism in programming. JCSS, 17:348–375, 1978.
8. Didier Rémy. Extending ML type system with a sorted equational theory. Research Report 1766, Institut National de Recherche en Informatique et Automatisme, Rocquencourt, BP 105, 78 153 Le Chesnay Cedex, France, 1992.