Type inference in a database programming language

Proceedings of the 1988 ACM Conference on LISP and Functional Programming, LFP 1988

Volumn , Issue , 1988, Pages 174-183

  Ohori, Atsushi ^a   Buneman, Peter ^a  

^a UNIVERSITY OF PENNSYLVANIA   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

LISP (PROGRAMMING LANGUAGE);

DATABASE PROGRAMMING LANGUAGES; TYPE INFERENCES; TYPE INHERITANCES; TYPE SYSTEMS;

FUNCTIONAL PROGRAMMING;

EID: 84899524693     PISSN: None     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/62678.62700     Document Type: Conference Paper

References (13)

1. [B088] O.P. Buneman and A. Ohori. Using Powerdomains to Generalize Relational Databases. Theoreical Computer Science, To Appear, 1988. Available as a technical report from Department of Computer and Information Science, University of Pennsylvania.
2. [Car84] L. Cardelli. A Semantics of Multiple Inheritance. In Semantics of Data Types, Lecture Notes in Computer Science 173, Springer-Verlag, 1984.
3. [CW86] L. Cardelli and P. Wegner. On Understanding Types, Data Abstraction, and Polymorphism. Computing Surverys, 17(4):471-522, December 1986.
4. [DKM84] C. Dwork, P. Kanellakis, and J. Mitchell. On the Sequential Nature of Unification. Journal of Logic Programming, 1:35-50, 1984.
5. [DM82] L. Damas and R. Milner. Principal type-schemes for functional programs. In 9-th ACM Symposium on Principles of Programming Languages, pages 207-212, 1982.
6. [GJ79] M. R. Garey and D. S. Johnson. Computer and Intractability, A Guide to the Theory of NP-Completeness. Freeman, New York, 1979.
7. [Gol74] E. M. Gold. Complexity of automaton identification from given data. 1974. Unpublished manuscript, Reference found in [GJ79].
8. [HMM86] R. Harper, D. B. MacQueen, and R. Milner. Standard ML. LFCS Report Series ECS-LFCS-86-2, Department of Computer Science, University of Edinburgh, March 1986.
9. [MI178] R. Milner. A Theory of Type Polymorphism in Programming. Journal of Computer and System Sciences, 17:348-375, 1978.
10. [Mit84] J.C. Mitchell. Coercion and Type Inference. In Proc. 11-th ACM Symposium on Principles of Programming Languages, pages 175-185, 1984.
11. [Rob65] Robinson, J. A. A machine-oriented logic based on the resolution principle. Journal of the ACM, 12:23-41, March 1965.
12. [Sta88] R. Stansifer. Type Inference with Subtypes. In Proc. 15-th ACM Symposium on Principles of Programming Languages, pages 88-97, 1988.
13. [Wan87] M. Wand. Complete Type Inference for Simple Objects. In Proceedings of the Second Anual Symposium on Logic in Computer Science, pages 37-44, Ithaca, New York, June 1987.