Correcting type errors in the curry system

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

Volumn 1180, Issue , 1996, Pages 347-358

  Gandhe, Milind ^a,b   Venkatesh, G ^a,b   Sanyal, Amitabha ^a  

^a INDIAN INSTITUTE OF TECHNOLOGY BOMBAY   (India)

^b Silicon Automation Systems   (India)

Author keywords

[No Author keywords available]

Indexed keywords

CONSISTENT SUBSET; GRAPHICAL REPRESENTATIONS; SHARING GRAPHS; TYPE ERRORS;

SOFTWARE ENGINEERING;

EID: 84947940979     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-62034-6_62     Document Type: Conference Paper

References (13)

1. Andrea Asperti, Vincent Danos, Cosimo Laneve, and Laurent Regnier. Paths in the lambda calculus-Three years of communications without understanding. In Proceedings of the Ninth Annual IEEE Symposium on Logic in Computer Science, Washington, 1994. IEEE Computer Society Press.
2. M. Beaven and R. Stanisfer. Explaining type errors in polymorphic languages. ACM Letters on Programming Languages and Systems, 2:17-30, 1993.
3. P. T. Cox. Finding backtrack points for intelligent backtracking. In J. A. Campbell, editor, Implementations of Prolog, pages 216-233. Ellis Horwood, Chichester, 1984.
4. J. Y. Girard. Linear logic. Theoretical Computer Science, 50, 1987.
5. Georges Gonthier, Martin Abadi, and Jean-Jacques Lévy. The geometry of optimal lambda reductions. In Conference Record of the Nineteenth Annual ACM SI GPL A N-SIGA C T Symposium on Principles of Programming Languages. Association for Computing Machinery, ACM Press, January 1992.
6. J. Lamping. An algorithm for optimal lambda calculus reductions. In Conference Record of the Nineteenth Annual ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages. Association for Computing Machinery, ACM Press, January 1990.
7. J. W. Lloyd. Logic Programming. Springer Verlag, 1984.
8. Ian Craig Mackie. The Geometry of Implementation (Applications of the Geometry of Interactions to Language Implementation). PhD thesis, University of London, September 1994.
9. Robin Milner and Mads Tofte and Robert Harper The Definition of Standard ML. The MIT Press, 1990.
10. J. C. Mitchell. Type systems for programming languages. In Jan van Leeuwen, editor, Formal Models and Semantics: Handbook of Theoretical Computer Science, volume B, chapter 8, pages 365-458. Elsevier, Amsterdam, 1990.
11. J. A. Robinson. A machine-oriented logic based on the resolution principle. Journal of Association of Computing Machinery, 12:23-41, 1965.
12. M. Wand. Finding sources of type errors. In Proceedings of the 13th ACM Conference on Principles of Programming Languages, pages 38-43. ACM Press, Jan 1986.
13. Mitchell Wand. A simple algorithm and proof for type inference. Fundamenta Informaticae, 10:115-122, 1987.