Extensional polymorphism

ABSTRACT

We present the extensional polymorphism, a framework to type check ad hoc polymorphic functions. This formalism is compatible with parametric polymorphism, and supports a large class of functions defined by structural pattern matching on types.

REFERENCES

• 1: Martín Abadi , Luca Cardelli , Benjamin Pierce , Gordon Plotkin, Dynamic typing in a statically typed language, ACM Transactions on Programming Languages and Systems (TOPLAS), v.13 n.2, p.237-268, April 1991 [doi>10.1145/103135.103138]
• 2: M. Abadi, L. Cardelli, B. Pierce, and D. R@my. Dynamic typing in polymorphic languages. In Proceedings of the 1992 workshop on ML and ,ts applications, 1992.
• 3: Lennart Augustsson, Implementing Haskell overloading, Proceedings of the conference on Functional programming languages and computer architecture, p.65-73, June 09-11, 1993, Copenhagen, Denmark [doi>10.1145/165180.165191]
• 4: Daniel G. Bobrow , Linda G. DeMichiel , Richard P. Gabriel , Sonya E. Keene , Gregor Kiczales , David A. Moon, Common Lisp Object System specification, ACM SIGPLAN Notices, v.23 n.SI, p.1-142, September 1988 [doi>10.1145/885631.885632]
• 5: J. Chailloux, M. Devin, F. Dupont, J.-M. Hullot, B. Serpette, and J. Vuillemin. Le-Lisp version 15.24, le manuel de r@f@rence. Technical report, INRIA, 1991.
• 6: Luis Damas , Robin Milner, Principal type-schemes for functional programs, Proceedings of the 9th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.207-212, January 25-27, 1982, Albuquerque, Mexico [doi>10.1145/582153.582176]
• 7: C. Dubois and P. Weis. Generic polymorphism. Research report 05-1994, Universit# d'Evry Val d'Essonne, 1994.
• 8: David K. Gifford , John M. Lucassen, Integrating functional and imperative programming, Proceedings of the 1986 ACM conference on LISP and functional programming, p.28-38, August 1986, Cambridge, Massachusetts, United States [doi>10.1145/319838.319848]
• 9: Robert Harper , Greg Morrisett, Compiling with Non-Parametric Polymorphism (Preliminary Report), Carnegie Mellon University, Pittsburgh, PA, 1994
• 10: P. Hudak, S. P. Jones, and P. Wadler. Report on the programming language Haskell, version 1.2. Technical report, Yale University, 1992.
• 11: Kathleen Jensen , Niklaus Wirth, Pascal-User Manual and Report, Springer-Verlag New York, Inc., Secaucus, NJ, 1975
• 12: Mark P. Jones, A theory of qualified types, Symposium proceedings on 4th European symposium on programming, p.287-306, January 1992, Rennes, France
• 13: X. Leroy and M. Mauny. Dynamics in ML. Journal of Functional Programming, 3(4):431-463, 1994.
• 14: Robin Milner , Mads Tofte , Robert Harper, The definition of Standard ML, MIT Press, Cambridge, MA, 1990
• 15: G. Nelson, L. Cardelli, J. Donahue, L. GIassman, M. Jordan, and B. Kalsow. Modula-3 report (revised). Research report 52, DEC Systems Research Center, 1989.
• 16: C. Queinnec. Meroon: a small, efficient and enhanced object system. Technical report LIX.RR.92.14, INRIA- EcoIe Polytechnique, 1992.
• 17: Francois Rouaix, Safe run-time overloading, Proceedings of the 17th ACM SIGPLAN-SIGACT symposium on Principles of programming languages, p.355-366, December 1989, San Francisco, California, United States [doi>10.1145/96709.96746]
• 18: Satish R. Thatté, Semantics of type classes revisited, Proceedings of the 1994 ACM conference on LISP and functional programming, p.208-219, June 27-29, 1994, Orlando, Florida, United States
• 19: Andrew Tolmach, Tag-free garbage collection using explicit type parameters, Proceedings of the 1994 ACM conference on LISP and functional programming, p.1-11, June 27-29, 1994, Orlando, Florida, United States
• 20: U.S. Department of Defense. Reference manual for the ADA programming language, 1983. ANSI-MIL-STD 1815A.
• 21: P. Weis et al. The CAML reference manual, version 2.6.1. Technical report 121, INRIA, 1990.
• 22: P. Weis and X. Leroy. Le langage Carol. Intert#ditions, 1993.
• 23: A. K. Wright. Polymorphism for imperative languages without imperative types. Technical report 200, RICE University, 1993. Typing references by value polymorphism.

INDEX TERMS

Primary Classification:
  D. Software
  D.3 PROGRAMMING LANGUAGES
      D.3.3 Language Constructs and Features
          Subjects: Procedures, functions, and subroutines

Additional Classification:
  D. Software
  D.2 SOFTWARE ENGINEERING
  D.3 PROGRAMMING LANGUAGES
      D.3.2 Language Classifications

          Nouns: ML

  F. Theory of Computation
  F.3 LOGICS AND MEANINGS OF PROGRAMS
      F.3.3 Studies of Program Constructs
          Subjects: Type structure; Functional constructs

General Terms:
Algorithms, Languages, Verification

Keywords:
Caml, ML, ad-hoc polymorphism, debugging, dynamics, functional language, genericity, polymorphism, type checking