Colored local type inference

SIGPLAN Notices (ACM Special Interest Group on Programming Languages)

Volumn 36, Issue 3, 2001, Pages 41-53

  Odersky, Martin ^a   Zenger, Christoph ^a   Zenger, Matthias ^a  

^a EPFL   (Switzerland)

Author keywords

[No Author keywords available]

Indexed keywords

EID: 1142270559     PISSN: 03621340     EISSN: None     Source Type: Journal    
DOI: 10.1145/373243.360207     Document Type: Article

References (32)

1. Andrew Appel, Luca Cardelli, Kathleen Fisher, Carl Gunter, Robert Harper, Xavier Leroy, Mark Lillibridge, David B. MacQueen, John Mitchell, Greg Morrisett, John H. Reppy, Jon G. Riecke, Zhong Shao, and Christopher A. Stone. Principles and preliminary design for ML 2000.
2. Alexander Aiken and Edward L. Wimmers. Type inclusion constraints and type inference. In FPCA '93: Conference on Functional Programming Languages and Computer Architecture, Copenhagen, Denmark, pages 31-41, New York, June 1993. ACM Press.
3. Gilad Bracha, Martin Odersky, David Stoutamire, and Philip Wadler. Making the future safe for the past: Adding genericity to the java programming language. In Proc. OPPSLA '98, October 1998.
4. <:. Technical Report 97, DEC Systems Research Center, February 1993.
5. Luca Cardelli, James Donahue, Lucille Classman, Mick Jordan, Bill Kalsow, and Greg Nelson. Modula-3 language definition. A CM SIGPLAN Notices, 27(8):15-42, August 1992.
6. Craig Chambers and Cecil Team. The Cecil language, specification and rationale, December 1998.
7. Jonathan Eifrig, Scott Smith, and Valery Trifonov. Type inference for recursively constrained types and its application to OOP. In Proc. MFPS '95, Eleventh Conference on the Mathematical Foundations of Programming Semantics, March 1995.
8. Cédric Fournet and Georges Gonthier. The reflexive chemical abstract machine and the join-calculus. In Proc. 23rd ACM Symposium on Principles of Programming Languages, pages 372-385, January 1996.
9. Erich Gamma, Richard Helm, Ralph Johnson, and John Vlissides. Design Patterns : Elements of Reusable Object-Oriented Software. Addison-Wesley, 1994.
10. Jacques Garrigue and Didier Rémy. Semi-explicit first-class polymorphism for ML. Information and Computation, 155:134-171, 1999.
11. Mark P. Jones. First-class polymorphism with type inference. In Proc. 24th ACM Symposium on Principles of Programming Languages, pages 483-496, Paris, Jan 1997. ACM Press.
12. Donald E. Knuth. Semantics of context-free languages. Mathematical Systems Theory, 2(2):127-145, February 1968.
13. Vassily Litvinov. Constraint-based polymorphism in Cecil: Towards a practical and static type system. In Proceedings of the 13th ACM Conference on Object-Oriented Programming Systems, languages and applications, October 1998.
14. Bertrand Meyer. Eiffel, The Language. Object Oriented Series. Prentice Hall, Engelwood Cliffs, 1992.
15. Johan Nordlander and Magnus Carlsson. Reactive objects in a functional language - an escape from the evil I. In Proceedings of the Haskell Workshop, June 1997.
16. Johan Nordlander. Pragmatic subtyping in polymorphic languages. In Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP'98), September 1998.
17. Martin Odersky. Functional nets. In European Symposium on Programming, Lecture Notes in Computer Science. Springer Verlag, 2000. Invited Paper.
18. Martin Odersky and Konstantin Läufer. Putting type annotations to work. In Proc. 23rd ACM Symposium on Principles of Programming Languages, pages 54-67, January 1996.
19. Martin Odersky, Martin Sulzmann, and Martin Wehr. Type inference with constrained types. TAPOS, 5(1), 1999.
20. Martin Odersky and Philip Wadler. Pizza into Java: Translating theory into practice. In Proc. 24th ACM Symposium on Principles of Programming Languages, pages 146-159, January 1997.
21. Martin Odersky, Christoph Zenger, and Matthias Zenger. Colored local type inference. http://lampwww.epfl.ch/papers/clti-color.ps.gz, 2000.
22. Frank Pfenning. Partial polymorphic type inference and higher-order unification. In Proceedings of the 1988 ACM Conference on Lisp and Functional Programming, pages 153-163, July 1988.
23. François Pottier. Simplifying subtyping constraints. In Proceedings of the 1996 ACM SIGPLAN International Conference on Functional Programming (ICFP'96), pages 122-133, January 1996.
24. François Pottier. A framework for type inference with subtyping. In Proceedings of the third ACM SIGPLAN International Conference on Functional Programming (ICFP'98), pages 228-238, September 1998.
25. Benjamin C. Pierce and David N. Turner. Local type inference. In Proc. 25th ACM Symposium on Principles of Programming Languages, pages 252-265, January 1998.
26. Didier Rémy. Typechecking records and variants in a natural extension of ML. In Proc. 16th ACM Symposium on Principles of Programming Languages, 1989.
27. Bjarne Stroustrup. The C++ Programming Language, Second Edition. Addison-Wesley, 1991.
28. Valery Trifonov and Scott Smith. Subtyping constraint types. In International Static Analysis Symposium, volume 1145 of LNCS, pages 349-365. Springer, September 1996.
29. Philip Wadler. Theorems for free! In Fourth Symposium on Functional Programming Languages and Computer Architecture, pages 347-359. ACM, September 1989. London.
30. J.B. Wells. Typability and type checking in the second order λ-calculus are equivalent and undecidable. In Proc. 9th IEEE Symposium on Logic in Computer Science, pages 176-185, July 1994.
31. Keith Wansbrough and Simon Peyton Jones. Simple usage polymorphism. In Proceedings of the Third ACM SIGPLAN Workshop on Types in Compilation, September 2000.
32. Hongwei Xi and Frank Pfenning. Dependent types in practical programming. In A. Aiken, editor, Conference Record of the 26th Symposium on Principles of Programming Languages (POPL'99), pages 214-227. ACM Press, January 1999.