Abstract
In this paper we investigate the way in which the Gamma model, proposed by Banâtre and Le Metayer [1], might be supported in a functional language. We discuss the mechanism behind the model and examine the difficulties which arise when implementing Gamma in a functional language. We also explore its applicability as a programming paradigm by developing a library of higher order functions which can be used to facilitate the programming process.
This is a preview of subscription content, log in via an institution to check access.
Preview
Unable to display preview. Download preview PDF.
References
J.-P. Banâtre, D. Le Metayer, ‘A new computational model and its discipline of programming', INRIA Research Report, 566, 1986.
D.A. Turner, ‘An overview of Miranda', ACM SIGPLAN Notices, 21, 158–166, 1986.
R.J. Milner, ‘A theory of type polymorphism in programming', Journal of Computer and System Sciences, 17, 1978.
R.J.M. Hughes, ‘Why Functional Programming Matters', The Computer Journal, 32 (2), 98–107, 1989.
Z. Manna, R. Waldinger, The Logical Basis for Computer programming, Volume 1: Deductive Reasoning, Addison-Wesley, 1985.
J. Darlington, ‘Program Transformation', in J. Darlington, P. Henderson, D.A. Turner (eds), Functional Programming and its Applications:An Advanced Course, CUP, 1982
Author information
Authors and Affiliations
Editor information
Rights and permissions
Copyright information
© 1991 Springer-Verlag Berlin Heidelberg
About this paper
Cite this paper
Harrison, R., Glaser, H. (1991). The Gamma model as a functional programming tool. In: Akl, S.G., Fiala, F., Koczkodaj, W.W. (eds) Advances in Computing and Information — ICCI '90. ICCI 1990. Lecture Notes in Computer Science, vol 468. Springer, Berlin, Heidelberg. https://doi.org/10.1007/3-540-53504-7_73
Download citation
DOI: https://doi.org/10.1007/3-540-53504-7_73
Published:
Publisher Name: Springer, Berlin, Heidelberg
Print ISBN: 978-3-540-53504-1
Online ISBN: 978-3-540-46677-2
eBook Packages: Springer Book Archive