A.Demers, J.Donahue: Revised Report on Russell, TR79-389, Computer Science Department, Cornell University, 1979.  Home/Search   Document Not in Database   Summary   Related Articles   Check

....polymorphism, where uniform behavior is embodied by a type parameter, and subtype polymorphism, where uniform behavior is embodied by a subtype hierarchy. The first and prototypical language for parametric polymorphism is ML; the mechanisms we adopt later are more closely related to Russell [Demers Donahue 79] and Pebble [Burstall Lampson 84] The notion of subtype polymorphism we consider first appeared in Simula67 [Dahl Nygaard 66] single inheritance) and is more closely related to the one in Amber [Cardelli 86] multiple inheritance) A major aim here is to unify parametric and subtype ....

A.Demers, J.Donahue: Revised Report on Russell, TR79-389, Computer Science Department, Cornell University, 1979.

....polymorphism, where uniform behavior is embodied by a type parameter, and subtype polymorphism, where uniform behavior is embodied by a subtype hierarchy. The first and prototypical language for parametric polymorphism is ML; the mechanisms we adopt later are more closely related to Russell [Demers Donahue 79] and Pebble [Burstall Lampson 84] The notion of subtype polymorphism we consider first appeared in Simula67 [Dahl Nygaard 66] single inheritance) and is more closely related to the one in Amber [Cardelli 86] multiple inheritance) A major aim here is to unify parametric and subtype ....

A.Demers, J.Donahue: Revised Report on Russell, TR79-389, Computer Science Department, Cornell University, 1979.

....of argument, and a length function which maps a list of arbitrary element type into its integer length. It is also possible to write a generic sorting package that works on any type with an ordering relation. Other languages that used or helped develop these ideas include CLU [Liskov 81] Russell [Demers 79, Hook 84] Hope [Burstall 80] Ponder [Fairbairn 82] and Poly [Matthews 85] Finally, we should mention generic procedures of the kind found in Ada, which are parametrized templates that must be instantiated with actual parameter values before they can be used. The 7 polymorphism of Ada s ....

A.Demers, J.Donahue: Revised Report on Russell, TR79-389, Computer Science Department, Cornell University, 1979.

No context found.

A.Demers, J.Donahue: Revised Report on Russell, TR79-389, Computer Science Department, Cornell University, 1979.

No context found.

A.Demers, J.Donahue: Revised Report on Russell, TR79-389, Computer Science Department, Cornell University, 1979.

Online articles have much greater impact   More about CiteSeer.IST   Add search form to your site   Submit documents   Feedback  

CiteSeer.IST - Copyright Penn State and NEC