A Functional Language with Classes

[1]  Dominique Clément,et al.  A simple applicative language: mini-ML , 1986, LFP '86.

[2]  J. A. Robinson,et al.  A Machine-Oriented Logic Based on the Resolution Principle , 1965, JACM.

[3]  Robin Milner,et al.  Principal type-schemes for functional programs , 1982, POPL '82.

[4]  Robin Milner,et al.  A proposal for standard ML , 1984, LFP '84.

[5]  Robin Milner,et al.  A Theory of Type Polymorphism in Programming , 1978, J. Comput. Syst. Sci..

[6]  Luca Cardelli,et al.  A Semantics of Multiple Inheritance , 1984, Information and Computation.

[7]  Mitchell Wand,et al.  Type inference for record concatenation and multiple inheritance , 1989, [1989] Proceedings. Fourth Annual Symposium on Logic in Computer Science.

[8]  Didier Rémy,et al.  Type checking records and variants in a natural extension of ML , 1989, POPL '89.