The Gamma model as a functional programming tool
In this paper we investigate the way in which the Gamma model, proposed by Banâtre and Le Metayer , 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.
KeywordsShort Path Action Function Gamma Function Reaction Function Functional Programming
Unable to display preview. Download preview PDF.
- 1.J.-P. Banâtre, D. Le Metayer, ‘A new computational model and its discipline of programming', INRIA Research Report, 566, 1986.Google Scholar
- 2.D.A. Turner, ‘An overview of Miranda', ACM SIGPLAN Notices, 21, 158–166, 1986.Google Scholar
- 3.R.J. Milner, ‘A theory of type polymorphism in programming', Journal of Computer and System Sciences, 17, 1978.Google Scholar
- 4.R.J.M. Hughes, ‘Why Functional Programming Matters', The Computer Journal, 32 (2), 98–107, 1989.Google Scholar
- 5.Z. Manna, R. Waldinger, The Logical Basis for Computer programming, Volume 1: Deductive Reasoning, Addison-Wesley, 1985.Google Scholar
- 6.J. Darlington, ‘Program Transformation', in J. Darlington, P. Henderson, D.A. Turner (eds), Functional Programming and its Applications:An Advanced Course, CUP, 1982Google Scholar