Functional programming through the curriculum
This paper discusses our experience in using a functional language in topics across the computer science curriculum. After examining the arguments for taking a functional approach, we look in detail at four case studies from different areas: programming language semantics, machine architectures, graphics and formal languages.
KeywordsMachine State Regular Expression Operational Semantic Semantic Function Semantic Description
Unable to display preview. Download preview PDF.
- 1.Alfred V. Aho, Ravi Sethi, and Jeffrey D. Ullman. Compilers: Principles, Techniques and Tools. Addison-Wesley, 1985.Google Scholar
- 2.Steve Hill. The functional simulation of a simple microprocessor. Technical Report 17-94, UKC Computing Laboratory, 1994. Available by ftp from unix.hensa.ac.uk in the directory pub/misc/ukc.reports/comp.sci/reports as the file 17-94.ps.Z.Google Scholar
- 3.Simon L. Peyton Jones. Implementing Functional Languages. Prentice-Hall, 1992.Google Scholar
- 4.Rod Salmon and Mel Slater. Computer Graphics — Systems and Concepts. Addison-Wesley, 1987.Google Scholar
- 5.Joseph E. Stoy. Denotational Semantics: The Scott-Strachey approach to programming language theory. MIT Press, 1977.Google Scholar
- 6.Robert D. Tennent. Principles of Programming Languages. Prentice Hall, 1979.Google Scholar
- 7.Simon Thompson. Programming language semantics using Miranda. Technical Report 9-95, Computing Laboratory, University of Kent at Canterbury, 1995.Google Scholar
- 8.Glynn Winskel. The Formal Semantics of Programming Languages. MIT Press, 1993.Google Scholar