An Ad-Hoc Approach to the Implementation of Polymorphism

Abstract

types have existential type". 12th ACM Symposium on Principles of Programming Languages, New Orleans, (January 1985), 37-51. [SFS90] Stemple, D., Fegaras, L., Sheard, T. & Socorro, A. "Exceeding the Limits of Polymorphism in Database Programming Languages". Advances in Database Technology - EDBT90, Venice. In Lecture Notes in Computer Science. 416. Springer-Verlag (1990), pp. 269-285. [Str67] Strachey, C. "Fundamental concepts in programming languages". Oxford University, Oxford (1967). [Tur79] Turner, D.A. SASL language manual. University of St.Andrews CS/79/3 (1979). [Tur87] Turner, D.A. Miranda System Manual. Research Software Ltd. Canterbury, England. (1987). [VG85] van Vliet, J.C. & Gladney, H.M. "An evaluation of tagging". Software, Practice & Experience, 15, 9 (1985), 823-827. 28 [DD79] Demers, A. & Donahue, J. "Revised report on Russell". Technical report TR79389, (1979), Cornell University. [DM82] Damas. L & Milner, R. "Principal Type Schemes for Functional Programs". 9th AC..