Simplifying subtyping constraints

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 31, Issue 6, 1996, Pages 122-132

  Pottier, François ^a,b  

^a Ecl Normale Sup INRIA

^b INRIA ROCQUENCOURT   (France)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 17144400797     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/232629.232642     Document Type: Article

References (12)

1. Alexander Aiken and Edward L. Wimmers. Type inclusion constraints and type inference. In Conference on Functional Programming Languages and Computer Architecture, pages 31-41. ACM press, 1993.
2. Alexexander Aiken. Illyria system, 1994. Available on-line as http://http.cs.berkeley.edu:80/∼aiken/ftp /Illyria.tar.gz.
3. Roberto M. Amadio and Luca Cardelli. Subtyping recursive types. In Proceedings of the Eighteenth ACM Symposium on Principles of Programming Languages, pages 104-118, Orlando, FL, January 1991. Also available as DEC Systems Research Center Research Report number 62, August 1990.
4. Luca Cardelli. A semantics of multiple inheritance. In Semantics of Data Types, volume 173 of Lecture Notes in Computer Science, pages 51-68. Springer Verlag, 1984. Also in Information and Computation, 1988.
5. J. Eifrig, S. Smith, and V. Trifonov. Type inference for recursively constrained types and its application to OOP. In Mathematical Foundations of Programming Semantics, New Orleans, volume 1 of Electronic Notes in Theoretical Computer Science. Elsevier, 1995. To appear. Currently available as ftp://ftp.cs.jhu.edu /pub/scott/ooinfer.ps.Z.
6. Jonathan Eifrig, Scott Smith, and Valery Trifonov. Sound polymorphic type inference for objects. In OOP-SLA'95, 1995. Available as ftp://ftp.cs.jhu.edu /pub/scott/sptio.ps.Z.
7. You-Chin Fuh and Prateek Mishra. Polymorphic subtype inference: Closing the theory-practice gap. In TAPSOFT'89, 1989.
8. Mark Jones. Simplifying and improving qualified types. Technical Report YALEU/DCS/RR-1040, Yale University, New Haven, Connecticut, USA, June 1994.
9. John C. Mitchell. Coercion and type inference. In Eleventh Annual Symposium on Principles Of Programming Languages, 1984.
10. Jens Palsberg. Efficient type inference of object types. In Ninth Annual IEEE Symposium on Logic in Computer Science, pages 186-195, Paris, France, July 1994. IEEE Computer Society Press. To appear in Information and Computation.
11. Jens Palsberg. Efficient type inference of object types. In Ninth Annual IEEE Symposium on Logic in Computer Science, pages 186-195, Paris, France, July 1994. IEEE Computer Society Press. To appear in Information and Computation.
12. Jens Palsberg and Patrick O'Keefe. A type system equivalent to flow analysis. To appear in Proc. POPL 95. Currently available as ftp://ftp.daimi.aau.dk/ pub/palsberg/papers/pop195.ps.Z, 1995.