On the integration of functional programming class based object oriented programming and multi methods

@inproceedings{Bourdoncle1996OnTI,
  title={On the integration of functional programming class based object oriented programming and multi methods},
  author={Fran cois Bourdoncle and Stephan Merz},
  year={1996}
}
We present a new predicative and decidable type system called ML suitable for object oriented languages with implicit polymorphism in the tradition of ML cf Hindley and Milner Instead of using extensible records as a foundation for object oriented extensions of functional languages we propose to reinterpret classical datatype declarations as abstract and concrete class declarations and to replace pattern matching on run time values by dynamic dispatch on run time types ML is based on… CONTINUE READING

References

Publications referenced by this paper.
Showing 1-10 of 43 references

Extensional Polymorphism

  • C. Dubois, F. Rouaix, P. Weis
  • Proc. of the 22nd Symp. on Principles of…
  • 1995
Highly Influential
5 Excerpts

Similar Papers

Loading similar papers…