Structural subtyping and the notion of power type

Conference Record of the Annual ACM Symposium on Principles of Programming Languages

Volumn Part F130193, Issue , 1988, Pages 70-79

  Cardelli, Luca ^a  

^a HEWLETT PACKARD COMPANY   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 85006801522     PISSN: 07308566     EISSN: None     Source Type: Conference Proceeding    
DOI: 10.1145/73560.73566     Document Type: Conference Paper

References (14)

1. R.M. Burstall: Programming with modules as typed functional programming, International Conference on 5th Generation Computing Systems, Tokyo, Nov 1984.
2. R.M. Burstall, B. Lampson: A kernel language for abstract data types and modules, in Sematics of Data Types, Lecture Notes in Computer Science 173, Springer-Verlag, 1984.
3. L. Cardelli: A semantics of multiple inheritance, in Sematics of Data Types, G. Kahn, D.B. MacQueen and G. Plotkin Eds., Lecture Notes in Computer Science n.173, Springer-Verlag 1984.
4. L. Cardelli, P. Wegner: On understanding types, data abstraction and polymorphism, Computing Surveys, Vol 17 n. 4, pp 471-522, Decl985.
5. L. Cardelli: A polymorphic X-calculus with Type:Type, Technical Report n.10, DEC Systems Research Center, May 1986.
6. L. Cardelli: Typechecking dependent types and subtypes, Proc. of the Workshop on Foundations of Logic and Functional Programming, Trento, Italy, Dec 15-19 1986, to appear.
7. J.-Y. Girard: Une extension de l'interprdtation de Godel a l'analyse, et son application a l'elimination des coupures dans l'analyse et la the'orie des types, Proceedings of the second Scandinavian logic symposium, J.EFenstad Ed. pp. 63-92, North-Holland, 1971.
8. R. Harper, F. Honsell, G. Plotkin, A framework for defining logics, Proc. Symposium on Logic in Computer Science, Ithaca NY, June 22-25 1987, IEEE Computer Society Press, 1987.
9. D.B. MacQueen: Using dependent types to express modular structure Proc. POPL 1986.
10. P. Martin-Lof, An intuitionistic theory of types: predicative part, in Logic Colloquium III, F. Rose, J. Sheperdson Eds., pp 73-118, North-Holland, 1973.
11. A.R. Meyer, M.B. Reinhold: 'Type' is not a type: preliminary report, Proc. POPL 1986.
12. J.C. Mitchell G.D. Plotkin: Abstract types have existential type Proc. POPL 1985.
13. J.C. Reynolds: Three approaches to type structure, Mathematical Foundations of Software Development, Lecture Notes in Computer Science n.185, Springer-Verlag, Berlin 1985, pp. 97-138.
14. M. Wand, Complete type inference for simple objects, Proc. Symposium on Logic in Computer Science, Ithaca NY, June 22-251987, IEEE Computer Society Press, 1987.