Subtyping constrained types

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

Volumn 1145, Issue , 1996, Pages 349-365

  Trifonov, Valery ^a   Smith, Scott ^a  

^a Johns Hopkins University   (United States)

Author keywords

[No Author keywords available]

Indexed keywords

STATIC ANALYSIS;

HINDLEY/MILNER; NATURAL GENERALIZATION; RECURSIVE CONSTRAINTS; SIGNATURE-MATCHING; SUBTYPING RELATION; SUBTYPINGS; TYPE INFERENCES; TYPE VARIABLES;

FORMAL LANGUAGES;

EID: 84957380942     PISSN: 03029743     EISSN: 16113349     Source Type: Book Series    
DOI: 10.1007/3-540-61739-6_52     Document Type: Conference Paper

References (21)

1. A. Aiken and E. L. Wimmers. Type inclusion constraints and type inference. In Proceedings of the International Conference on Functional Programming Languages and Computer Architecture, pages 31-41,1993.
2. A. Aiken, E. L. Wimmers, andT. K. Lakshman. Soft typing with conditional types. In Conference Record of the Twenty-First Annual ACM Symposium on Principles of Programming Languages, pages 163-173,1994.
3. R. AmadioandL. Cardelli. Subtyping recursive types. ACM Transactions on Programming Languages and Systems, 15(4):575-631, September 1993. Extended abstract in POPL 1991.
4. François Bourdoncle and Stephan Merz. On the integration of functional programming, class-based object-oriented programming, and multi-methods. Technical Report 26, Centre des Mathématiques Appliquées, Ecole des Mines de Paris, 1996. Available at http://www.ensmp.fr/~bourdonc/.
5. Kim Bruce, Luca Cardelli, Giuseppe Castagna, The Hopkins Objects Group, Gary T. Leavens, and Benjamin Pierce. On binary methods. Theory and Practice of Object Systems, 1(3):217-238,1995.
6. L. Cardelli. A semantics of multiple inheritance. In Semantics of Data Types, volume 173 of Lecture notes in Computer Science, pages 51 -67. Springer-Verlag, 1984.
7. B. Courcelle. Fundamental properties of infinite trees. Theoretical Computer Science, 25:95-169,1983.
8. Pavel Curtis. Constrained quantification in polymorphic type analysis. Technical Report CSL-90-1, XEROX Palo Alto Research Center, CSLPubs. parcøxerox. com, 1990.
9. J. Eifrig, S. Smith, and V. Trifonov. Sound polymorphic type inference for objects. In OOPSLA '95, pages 169-184,1995.
10. J. Eifrig, S. Smith, and V. Trifonov. Type inference for recursively constrained types and its application to OOP. In Proceedings of the 1995 Mathematical Foundations of Programming Semantics Conference, volume 1 of Electronic Notes in Theoretical Computer Science. Elsevier, 1995. http: //www. elsevier. nl/ locate/entcs/volumel. html.
11. J. Eifrig, S. Smith, V. Trifonov, and A. Zwarico. An interpretation of typed OOP in a language with state. Lisp and Symbolic Computation, 8(4):357-397, 1995.
12. Y.-C. Fuh and P. Mishra. Type inference with subtypes. In European Symposium on Programming, 1988.
13. Trevor Jim. Principal typings and type inference. PhD thesis, MIT, 1996. (to appear).
14. S. Kaes. Type inference in the presence of overloading, subtyping and recursive types. In ACM Conference on Lisp and Functional Programming, pages 193-204,1992.
15. D. B. MacQueen, G. Plotkin, and R. Sethi. An ideal model for recursive polymorphic types. Information and Control, 71:95-130,1986.
16. P. Mishra and U. Reddy. Declaration-free type checking. In Conference Record of the Twelfth Annual ACM Symposium on Principles of Programming Languages, pages 7-21, 1985.
17. John C. Mitchell. Coercion and type inference (summary). In Conference Record of the Eleventh Annual ACM Symposium on Principles of Programming Languages, 1984.
18. John C. Mitchell. Type inference with simple subtypes. JournalofFunctional Programming, 1:245-285,1991.
19. Jens Palsberg and Scott Smith. Constrained types and their expressiveness. TOPLAS, 18(5), September 1996.
20. François Pottier. Simplifying subtyping constraints. In First International Conference on Functional Programming, pages 122-133,1996.
21. Geoffrey S. Smith. Principal type schemes for functional programs with overloading and subtyping. Science of Computer Programming, 23, 1994.