J.Fairbairn: Ponder and its type system, Technical report No 31, Nov 82, University of Cambridge, Computer Laboratory. Home/Search Document Not in Database Summary Related Articles |
This paper is cited in the following contexts:
On Understanding Types, Data Abstraction, and Polymorphism - Cardelli, Wegner (1985) (90 citations) (Correct)
....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 generic procedures is similar to the parametric ....
J.Fairbairn: Ponder and its type system, Technical report No 31, Nov 82, University of Cambridge, Computer Laboratory.
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